mirror of
https://github.com/postgres/postgres.git
synced 2026-10-23 13:29:09 +03:00
These were previously marked as functions, not roles, and were in the wrong section. Reported-by: 彭冲 <chong.peng@enmotech.com> Discussion: https://postgr.es/m/tencent_5468291122A490C6578D9467@qq.com