mirror of https://github.com/postgres/postgres
The buildfarm pointed out the problem. Fix based on suggestion by Robert Haas.pull/6/head
parent
4d212bac17
commit
15e46fd1dd
Loading…
Reference in new issue