mirror of
https://github.com/postgres/postgres.git
synced 2025-05-01 01:04:50 +03:00
Oversight in commit a59c79564. Back-patch, as that was. Noted by Peter Eisentraut. Discussion: https://postgr.es/m/7f85ef6d-250b-f5ec-9867-89f0b16d019f@enterprisedb.com