From: Ondřej Surý <ondrej.sury@nic.cz>
Date: Wed, 5 Apr 2017 14:02:28 +0000 (+0200)
Subject: Merge branch 'strip-dev-from-1.2.5' into '1.2'
X-Git-Tag: v1.2.5^0
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=cbfb170c069db22a3df3cfdbe10be114d025e8f3;p=thirdparty%2Fknot-resolver.git

Merge branch 'strip-dev-from-1.2.5' into '1.2'

Strip -dev suffix from version number

See merge request !267
---

cbfb170c069db22a3df3cfdbe10be114d025e8f3