mirror of
https://github.com/postgres/postgres.git
synced 2025-08-28 18:48:04 +03:00
This is a followup commit on 3370207986
.
Reported-by: Justin Pryzby
Discussion: https://postgr.es/m/20201112211143.GL30691@telsasoft.com
Backpatch-through: 9.5