mirror of
https://github.com/postgres/postgres.git
synced 2025-12-09 02:08:45 +03:00
81a2625eb2
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