mirror of
https://github.com/postgres/postgres.git
synced 2025-10-16 17:07:43 +03:00
Introduced inf2553d4306
. See also3f6b3be39c
, which did so for nearby variables. Discussion: https://postgr.es/m/20220319014707.kgtomqdzm6m2ulro@alap3.anarazel.de