> 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 :)