mirror of
https://github.com/postgres/postgres.git
synced 2025-07-12 21:01:52 +03:00
The defect came from me, not from that commit's credited author. Per buildfarm members olingo and grassquit. Discussion: https://postgr.es/m/20240903192030.1e@rfd.leadboat.com