mirror of https://github.com/postgres/postgres
Commit 70df2df1cc
moved it to the
top_srcdir, where it caused "git status" noise.
pull/137/head
parent
8c7ad6f156
commit
6e723f6d7b
Loading…
Reference in new issue