> There's no rush, but I may as well do it now since I have a checkout > right here :-) Fixed. Thanks! I just found that this was an issue with the script that does the version number update, so I fixed it and it not happen again. -- Joel