[HACKERS] ALTER PUBLICATION and segmentation fault

Hi,

When I logged in PostgreSQL as non-superuser and ran
ALTER PUBLICATION command, I got a segmentation fault.
The code checking the owner of publication might have a bug.

=# CREATE ROLE foo NOSUPERUSER LOGIN
=# \c - foo
=> \dRp             List of publicationsName  |  Owner   | Inserts | Updates | Deletes
-------+----------+---------+---------+---------mypub | postgres | t       | t       | t
=> ALTER PUBLICATION mypub RENAME TO hoge;

LOG:  server process (PID 80356) was terminated by signal 11: Segmentation fault
DETAIL:  Failed process was running: ALTER PUBLICATION mypub RENAME TO hoge;

Regards,

-- 
Fujii Masao