debian/patches: add a patch to fix the version number
authorAntonio Ospite <ao2@ao2.it>
Thu, 1 Mar 2018 17:50:19 +0000 (18:50 +0100)
committerAntonio Ospite <ao2@ao2.it>
Thu, 1 Mar 2018 17:50:19 +0000 (18:50 +0100)
commit99b827c9423a709ab06f47909955daaacfef1d79
tree7c76be048e15e34c8feb12e24fd33fb3e719e19e
parent0679356a87097381abab6b2b32d7698096091d9e
debian/patches: add a patch to fix the version number

I forgot to do this upstream before tagging the stable release.
debian/patches/CMakeLists.txt-bump-the-patch-version-number.patch [new file with mode: 0644]
debian/patches/series