mirror of
https://github.com/postgres/postgres.git
synced 2025-04-29 13:56:47 +03:00
For readability. Backpatch to 16. Author: Erik Wienhold <ewie@ewie.name> Discussion: https://postgr.es/m/8ddac732-d650-4958-b9c9-ea8e6116251e@ewie.name