mirror of
https://github.com/postgres/postgres.git
synced 2026-06-08 08:34:03 -04:00
9cad926eb8
This was missed in eed1ce72e1.
Reported by Michael Paquier