mirror of https://github.com/postgres/postgres
Applied patch by Christoph Berg <cb@df7cb.de> to replace placeholder "%s" by correct string.pull/1/head
parent
811f1cec8c
commit
bddc35ac66
Loading…
Reference in new issue