mirror of
https://github.com/postgres/postgres.git
synced 2025-07-08 11:42:09 +03:00
I messed this up in commit 87251e1149
.
Per buildfarm member alabio, via Daniel Gustafsson.
Discussion: https://postgr.es/m/B94D82D1-7AF4-4412-AC02-82EAA6154957@yesql.se