
release_major = 2
release_minor = 14
release_patch = 0
release_so_abi_rev = 13

# These are set by the distribution script
release_vc_rev = 'git:3a26a33de2459c40cdfb766f4035a60cf449ab1c'
release_datestamp = 20200406
release_type = 'release'
