- bumped up version number in configure.in from 4.0.24 -> 4.0.25 (ChangeSet...
- bumped up version number in configure.in from 4.0.24 -> 4.0.25 (ChangeSet 1.2073 was already tagged
as 4.0.24)
configure.in:
- bumped up version number from 4.0.24 -> 4.0.25