mirror of
https://github.com/postgres/postgres.git
synced 2025-08-30 06:01:21 +03:00
Followup to patch 152ed04799
.
Reported-by: Alvaro Herrera
Discussion: https://postgr.es/m/20201112202900.GA28098@alvherre.pgsql
Backpatch-through: 9.5