mirror of
https://github.com/postgres/postgres.git
synced 2025-08-25 20:23:07 +03:00
ab3e4fbd54
Sloppiness in commit cedffbdb8, noted by Erikjan Rijkers.
(It's fairly unfortunate that xmllint doesn't catch this.)
Discussion: https://postgr.es/m/2e3dc9e4bfa4802d2c9f5fe15bde44de@xs4all.nl