mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-10 23:27:34 +08:00
c5e8ea978d
As suggested by Stephen Frost. Discussion: https://postgr.es/m/20191104160605.GC6962@tamriel.snowman.net