Re: drop user/group/role if exists
I wrote:
>
> This patch provides DROP ... IF EXISTS for user/group/role.
>
> If there's no objection I will apply it soon and document it.
>
There wasn't so I did.
cheers
andrew
---------------------------(end of broadcast)---------------------------
TIP 2: Don't 'kill -9' the postmaster |