Erwin Brandstetter <[EMAIL PROTECTED]> writes:
> Obviously for historical reasons the syntax in a number of places still 
> reads
>     " /username/ | GROUP /groupname/"
> instead of
>     " //[GROUP] /role//name/"
> (Allthough I would change that.)

Right, done.

> However, the example further down is not correct any more:

Fixed --- thanks for reporting it!

                        regards, tom lane

---------------------------(end of broadcast)---------------------------
TIP 2: Don't 'kill -9' the postmaster

Reply via email to