mirror of
https://github.com/postgres/postgres.git
synced 2025-08-30 06:01:21 +03:00
This is required by project policy, and I overlooked the need for it (again) by accident. Reported by Álvaro Herrara. Discussion: http://postgr.es/m/20230126114659.x3yuypot7p6zj73c@alvherre.pgsql