mirror of
https://github.com/postgres/postgres.git
synced 2025-10-18 00:03:40 -04:00
83eb244e41
Noticed while reviewing the area for a different patch. This is cosmetic, so no backpatch is done.