mirror of
https://github.com/postgres/postgres.git
synced 2026-06-06 23:59:45 -04:00
8d47a90862
After a6542a4b68, some function comments
were misplaced. Fix that.
Reviewed-by: Alvaro Herrera <alvherre@alvh.no-ip.org>