mirror of https://github.com/postgres/postgres
been broken for more than a month, so evidently it's not needed, at least not for any configuration in the buildfarm. We can correct it and replace it later if we find something that still needs it.REL8_5_ALPHA1_BRANCH
parent
257c4ff160
commit
f4fea44ce1