mirror of https://github.com/postgres/postgres
It is set correctly on the only path that uses it, but the compiler can't know that.pull/1/head
parent
8cca49d8a0
commit
74e6d37276
Loading…
Reference in new issue