mirror of
https://github.com/postgres/postgres.git
synced 2025-12-08 00:03:14 -05:00
8081e54bc5
Make a separate section for release notes customization. Commits f986882ffd6 and 8a6e85b46e0 put those into the middle of unrelated things.