mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-25 07:47:03 +08:00
Evidently missed in commit eb61136dc. Spotted by Oleg Bartunov. Discussion: https://postgr.es/m/CAF4Au4wz_iK5r4fnTnnd8XqioAZQs-P7-VsEAfivW34zMVpAmw@mail.gmail.com