mirror of
https://github.com/postgres/postgres.git
synced 2026-06-16 13:40:53 -04:00
40e873d854
Commit bc5334d867 accidentally
included a second <variablelist> tag for a new list item.