mirror of
https://github.com/postgres/postgres.git
synced 2025-11-14 00:05:25 -05: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