mirror of
https://github.com/postgres/postgres.git
synced 2025-11-28 11:44:57 +03:00
This simplifies logic / reduces duplication in a few headers. Author: Andres Freund Discussion: https://postgr.es/m/97d4b165-192d-3605-749c-f614a0c4e783@2ndquadrant.com