mirror of
https://github.com/postgres/postgres.git
synced 2026-06-06 23:59:45 -04:00
Alvaro Herrera
eb67e2e35a
Pointed out by Jeff Janes Discussion: https://postgr.es/m/CAMkU=1zGhK-nW10RAXhokcT3MM=YBg=j5LkG9RMDwmu3i0H0Og@mail.gmail.com