Drat. I grepped for '7.5' and '705', but not for '7, 5' :-(
I am not sure how that file is used but it might require us to repackage beta1.
Nah, not worth the trouble. Good thing you noticed it before final though.
Maybe you guys should keep a list of all places that need updating and all jobs that need to be done before a release, so we don't forget anything :)
---------------------------(end of broadcast)--------------------------- TIP 4: Don't 'kill -9' the postmaster
