
release_major = 1
release_minor = 11
release_patch = 25
release_so_abi_rev = release_patch

# These are set by the distribution script
release_vc_rev = 'git:91c194957a12b174f4a51f41319b0d9604450d87'
release_datestamp = 20151207
release_type = 'released'
