mirror of
https://github.com/postgres/postgres.git
synced 2025-11-14 00:05:25 -05:00
ae9492a61b
We don't usually mention the version number in similar situations. So, neither mention it here. Reported-by: Bruce Momjian Discussion: https://postgr.es/m/20210503234914.GO6180%40momjian.us