mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-11 05:57:39 +08: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