mirror of
https://github.com/postgres/postgres.git
synced 2025-07-18 17:42:25 +03:00
Patch by me, reviewed by Thomas Munro, in response to a complaint from Adrien Nayrat. Discussion: http://postgr.es/m/baa0d036-7349-f722-ef88-2d8bb3413045@anayrat.info