mirror of https://github.com/postgres/postgres
This is useful for example when a long-runing statement such as CREATE INDEX fails after a long time.pull/1/head
parent
ae137bcaab
commit
2106c55ac8
Loading…
Reference in new issue