Re: change alter user to be a true alias for alter role

On 01/20/2014 03:31 PM, Jov wrote:
> the doc say:
> 
>     ALTER USER is now an alias for ALTER ROLE
>     <http://www.postgresql.org/docs/devel/static/sql-alterrole.html>.
> 
>  
> but alter user lack the following format:
> 
> [...]
> 
> this make alter user a true alias for alter role.

This is a straightforward patch that does exactly what it says on the
tin.  I have marked it ready for committer.
-- 
Vik