mirror of
https://github.com/postgres/postgres.git
synced 2025-08-31 17:02:12 +03:00
Not needed anymore after 7143b3e821
.
Discussion: https://postgr.es/m/20220820194550.725755r6fj2ro3rx@awork3.anarazel.de
Not needed anymore after 7143b3e821
.
Discussion: https://postgr.es/m/20220820194550.725755r6fj2ro3rx@awork3.anarazel.de