mirror of
https://github.com/postgres/postgres.git
synced 2026-06-02 05:49:16 -04:00
7c981590c2
The mostly automated conversion in
1ff01b3902 missed this one because of the
unusual whitespace.