mirror of
https://github.com/postgres/postgres.git
synced 2025-10-18 04:29:09 +03:00
appears to be duplicated (two identical <listitems> right after each other). Here is a quick patch to remove one instance of it. Magnus Hagander