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 publications
Name | 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