mirror of
https://github.com/postgres/postgres.git
synced 2025-10-16 00:04:15 -04:00
81a2625eb2
I messed this up in commit 87251e114967. Per buildfarm member alabio, via Daniel Gustafsson. Discussion: https://postgr.es/m/B94D82D1-7AF4-4412-AC02-82EAA6154957@yesql.se