mirror of
https://github.com/postgres/postgres.git
synced 2026-06-13 20:25:58 -04:00
79e15c7d86
Because of the bug, -r would not accept the rmgr with the highest ID.