mirror of https://github.com/postgres/postgres
It's been deprecated for ages according to Tom, and it breaks now given the previous patch anyway. Per buildfarmpull/1/head
parent
67dc4eed42
commit
b44dda7158
Loading…
Reference in new issue