mirror of https://github.com/postgres/postgres
This name was incorrect in the underlying commit message. (The correct name is already listed.) Reported-by: Denis Laxalde <denis.laxalde@dalibo.com>pull/150/head
parent
8d70eb731c
commit
60d7d50f42
Loading…
Reference in new issue