mirror of
https://github.com/postgres/postgres.git
synced 2025-06-03 00:02:26 -04:00
8e709a612f
Paul Jungwirth, reviewed by Ashutosh Bapat. Discussion: http://postgr.es/m/e24a6a6d-5670-739b-00f3-41a226a80f25@illuminatedcomputing.com