mirror of
https://github.com/postgres/postgres.git
synced 2025-05-28 00:03:23 -04:00
Reported-by: Jelte Fennema-Nio Discussion: https://postgr.es/m/CAGECzQTz5aUqLEL6daLd2Hu2FXS_LOSh4keDndJ1fwThsb_b5w@mail.gmail.com Reviewed-by: Tom Lane Backpatch-through: master