into pippilotta.erinye.com:/shared/home/df/mysql/build/mysql-5.0 configure.in: null-merge version number change