Merge work.mysql.com:/home/bk/mysql-4.0

into fred.bitbike.com:/home/arjen/mysql-4.0

scripts/mysql_fix_privilege_tables.sh

@@ -140,7 +140,7 @@ echo ""
 # Change the user table to MySQL 4.0 format
 #
 
-echo "Adding new fields used by MySQL 4.02 to the privilege tables"
+echo "Adding new fields used by MySQL 4.0.2 to the privilege tables"
 echo "You can ignore any Duplicate column errors"
 
 @bindir@/mysql --user=root --password="$root_password" --host="$host" mysql <<END_OF_DATA