mirror of https://github.com/postgres/postgres
Per discussion, we choose not to change this. This just gives a little bit more information. Discussion: https://www.postgresql.org/message-id/flat/cf26e970-8e92-59f1-247a-aa265235075b%40enterprisedb.compull/103/head
parent
36389a060c
commit
805a397db4
Loading…
Reference in new issue