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