mirror of
https://github.com/postgres/postgres.git
synced 2025-07-03 20:02:46 +03:00
This is needed for a future script to add commit links; specifically we need the closing parentheses of the attribution. Backpatch-through: 12