mirror of https://github.com/postgres/postgres
Since this is a very unlikely error we do not need to do an extra work to get a good error message.pull/209/head
parent
bf4cc68833
commit
40bcad6c35
Loading…
Reference in new issue