mirror of
https://github.com/postgres/postgres.git
synced 2026-06-07 16:18:57 -04:00
9cf5d3c486
Removed one too many words. Fix for
7906de847f.
Reported-by: Thomas Munro
Backpatch-through: 9.4