mirror of
https://github.com/postgres/postgres.git
synced 2025-08-18 12:22:09 +03:00
d33f33539d
Reported-by: Justin Pryzby Discussion: https://postgr.es/m/20200620220402.GZ17995@telsasoft.com Backport-through: 13