mirror of
https://github.com/postgres/postgres.git
synced 2025-07-17 06:41:09 +03:00
796aa20a11
I'd misunderstood how it worked in 5f1048881.
Discussion: https://postgr.es/m/20220925215009.GC21938@telsasoft.com