mirror of
https://github.com/postgres/postgres.git
synced 2026-06-14 04:33:49 -04:00
d779199175
I failed to 'cvs add' the new files and also neglected to bump catversion.