
release_major = 2
release_minor = 12
release_patch = 1
release_so_abi_rev = 12

# These are set by the distribution script
release_vc_rev = 'git:1a6ad661ce64287ccbe26460ccc3aa4247d86ba8'
release_datestamp = 20191014
release_type = 'release'
