mirror of
https://github.com/postgres/postgres.git
synced 2025-07-30 11:03:19 +03:00
62340f8eca
This fixes some instances that were missed in earlier processings and that now look a bit strange because they are inconsistent with nearby titles.