+++ /dev/null
-#
-# old_revision [adcf24b7e258c125f78aaff4ef2d3557f1183c3e]
-#
-# patch "configure.py"
-# from [b43917e0e74e7ef1ff0024542da0dabe104a1582]
-# to [ba82e657a585f31e9ba20056a57c5f597c0f0297]
-#
-============================================================
---- configure.py b43917e0e74e7ef1ff0024542da0dabe104a1582
-+++ configure.py ba82e657a585f31e9ba20056a57c5f597c0f0297
-@@ -38,7 +38,7 @@ class BuildConfigurationInformation(obje
- version_major = 1
- version_minor = 8
- version_patch = 14
-- version_so_patch = 13
-+ version_so_patch = 2
- version_suffix = ''
-
- version_string = '%d.%d.%d%s' % (