mirror of
https://github.com/postgres/postgres.git
synced 2025-08-22 21:53:06 +03:00
d2354b6eec
This name was incorrect in the underlying commit message. (The correct name is already listed.) Reported-by: Mark Wong