mirror of
https://github.com/postgres/postgres.git
synced 2026-05-30 20:44:54 -04:00
82c5c533d1
Commit ab3f008a2d broke this.
Report by Stephen Frost.
Discussion: http://postgr.es/m/20171205180342.GO4628@tamriel.snowman.net