mirror of
https://github.com/postgres/postgres.git
synced 2026-06-07 16:18:57 -04:00
9a8d3c4eea
This causes a warning when accidentally backpatching an XML-style empty-element tag like <xref linkend="abc"/>.