Strip -dev suffix from version number

diff --git a/config.mk b/config.mk
index 71a1bd17acdff3640cfb42c9e90c5d0e062dc7fc..ee96d3385e863a7616acf7e05f763389801b4ed0 100644 (file)
--- a/config.mk
+++ b/config.mk
@@ -2,7 +2,7 @@
 MAJOR := 1
 MINOR := 2
 PATCH := 5
-EXTRA := -dev
+EXTRA :=
 ABIVER := 3
 BUILDMODE := dynamic
 HARDENING := yes