Increment release_version for development release 1.12.5