mirror of
https://github.com/postgres/postgres.git
synced 2025-05-01 01:04:50 +03:00
Mostly markup improvements. Reported-by: Justin Pryzby Discussion: https://postgr.es/m/20210625230456.GP29179@telsasoft.com Backpatch-through: 14 only