mirror of https://github.com/postgres/postgres
This was broken by b4e936859d
. The
reason why this fixes it are not entirely clear, but it seemed the
best way to get it working again.
Discussion: https://www.postgresql.org/message-id/flat/8c4fcb72-2574-ff7c-4c25-1f032d4a2a57%40enterprisedb.com
pull/103/head
parent
376af68611
commit
1c3aa54502
Loading…
Reference in new issue