mirror of
https://github.com/postgres/postgres.git
synced 2025-07-11 10:01:57 +03:00
Commit 3500ccc39b
should have done
this, but I overlooked it.
Per complaint from Thomas Munro.
Discussion: http://postgr.es/m/CA+hUKGJixAHc860Ej9Qzd_z96Z6aoajAgJ18bYfV3Lfn6t9=+Q@mail.gmail.com