mirror of
https://github.com/postgres/postgres.git
synced 2026-06-05 07:13:06 -04:00
00210e3fb9
This step was erroneously removed four days ago by me. Reported-by: Magnus via IM Backpatch-through: 9.5