mirror of
https://github.com/postgres/postgres.git
synced 2025-07-23 03:21:12 +03:00
70945649d7
Seems to have been a copy-and-paste mistake in 093129c9d.
Per report from max1@inbox.ru.
Discussion: https://postgr.es/m/161591740692.24273.4202054598867879464@wrigleys.postgresql.org