mirror of
https://github.com/postgres/postgres.git
synced 2026-06-14 04:33:49 -04:00
177c56d608
Per gripe from Thomas Munro, who only complained about a more localized problem, but I couldn't resist a bit more wordsmithing.