mirror of
https://github.com/postgres/postgres.git
synced 2026-06-15 13:09:51 -04:00
dba9153339
Oversight in commit 93ee38ea.
Oversight in commit 93ee38ea.