mirror of https://github.com/postgres/postgres
Not strictly necessary since we quite after, but could become important in the future if we do restarts etc. Michael Paquier with nitpicking from mepull/17/head
parent
8c46f0c9ce
commit
78d109150b
Loading…
Reference in new issue