Bump the version to 1.2.3 to check that it is updated everywhere. --HG-- rename : dist/RELEASE => RELEASE