mirror of
https://github.com/postgres/postgres.git
synced 2025-04-25 21:42:33 +03:00
This change doesn't fix any bugs that we've heard about, but it seems like a good idea on general principles to track upstream occasionally. Discussion: https://postgr.es/m/3320.1542647565@sss.pgh.pa.us