
release_major = 2
release_minor = 12
release_patch = 0
release_so_abi_rev = 12

# These are set by the distribution script
release_vc_rev = 'git:4a02f36076edfc861fa19c660ba7230eab2d3d73'
release_datestamp = 20191007
release_type = 'release'
