mirror of https://github.com/postgres/postgres
Not needed anymore after 7143b3e821
.
Discussion: https://postgr.es/m/20220820194550.725755r6fj2ro3rx@awork3.anarazel.de
pull/102/head
parent
9352d5cf12
commit
1d77afefbd
Loading…
Reference in new issue