mirror of
https://github.com/postgres/postgres.git
synced 2026-06-20 23:51:26 -04:00
a11e5a67d9
This causes a warning when accidentally backpatching an XML-style empty-element tag like <xref linkend="abc"/>.