mirror of https://github.com/postgres/postgres
This step was erroneously removed four days ago by me. Reported-by: Magnus via IM Backpatch-through: 9.5pull/26/head
parent
ea96568396
commit
95a231aef9
Loading…
Reference in new issue