Up the version number for the GIT version to 0.93.0-pre