mirror of
https://github.com/postgres/postgres.git
synced 2025-06-01 00:01:20 -04:00
dce7072e51
Suggested by David G. Johnston <david.g.johnston@gmail.com> Discussion: https://postgr.es/m/CAKFQuwYK4OqwoHscZi3yws-urv3NvVfoKHessyso5D=5qqChYQ@mail.gmail.com