mirror of
https://github.com/postgres/postgres.git
synced 2025-07-21 16:02:15 +03:00
Reported-by: Jelte Fennema-Nio Discussion: https://postgr.es/m/CAGECzQTz5aUqLEL6daLd2Hu2FXS_LOSh4keDndJ1fwThsb_b5w@mail.gmail.com Reviewed-by: Joe Conway Backpatch-through: master