mirror of
https://github.com/postgres/postgres.git
synced 2025-07-30 11:03:19 +03:00
4559167c6b
Somehow I misresolved a merge conflict when forward porting Petr's patch leading to a section of the docs remaining... Thankfully Fujii spotted my mistake.