=== modified file 'Makefile'
--- Makefile	2016-10-01 14:24:14 +0000
+++ Makefile	2016-10-05 20:13:01 +0000
@@ -40,7 +40,7 @@
 OPTIMIZE=-Os -fno-strict-aliasing
 LANGUAGE=-std=gnu11
 htmldir=man
-version=1.7.11
+version=1.7.12
 SED=sed
 
 USER=$(firstword $(subst :, ,$(shell getent passwd _mandos || getent passwd nobody || echo 65534)))

=== modified file 'NEWS'
--- NEWS	2016-10-01 14:24:14 +0000
+++ NEWS	2016-10-05 20:13:01 +0000
@@ -1,6 +1,10 @@
 This NEWS file records noteworthy changes, very tersely.
 See the manual for detailed information.
 
+Version 1.7.12 (2016-10-05)
+* Client
+** Bug fix: Don't crash after exit() when using DH parameters file
+
 Version 1.7.11 (2016-10-01)
 * Client
 ** Security fix: Don't compile with AddressSanitizer

=== modified file 'common.ent'
--- common.ent	2016-10-01 14:24:14 +0000
+++ common.ent	2016-10-05 20:13:01 +0000
@@ -1,3 +1,3 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <!-- Edited by Makefile -->
-<!ENTITY version "1.7.11">
+<!ENTITY version "1.7.12">

=== modified file 'debian/changelog'
--- debian/changelog	2016-10-01 14:24:14 +0000
+++ debian/changelog	2016-10-05 20:13:01 +0000
@@ -1,3 +1,9 @@
+mandos (1.7.12-1) unstable; urgency=medium
+
+  * New upstream release.
+
+ -- Teddy Hogeborn <teddy@recompile.se>  Wed, 05 Oct 2016 22:06:55 +0200
+
 mandos (1.7.11-1) unstable; urgency=high
 
   * New upstream release.

=== modified file 'mandos'
--- mandos	2016-10-01 14:24:14 +0000
+++ mandos	2016-10-05 20:13:01 +0000
@@ -114,7 +114,7 @@
 if sys.version_info.major == 2:
     str = unicode
 
-version = "1.7.11"
+version = "1.7.12"
 stored_state_file = "clients.pickle"
 
 logger = logging.getLogger()

=== modified file 'mandos-ctl'
--- mandos-ctl	2016-10-01 14:24:14 +0000
+++ mandos-ctl	2016-10-05 20:13:01 +0000
@@ -75,7 +75,7 @@
 server_path = "/"
 server_interface = domain + ".Mandos"
 client_interface = domain + ".Mandos.Client"
-version = "1.7.11"
+version = "1.7.12"
 
 
 try:

=== modified file 'mandos-keygen'
--- mandos-keygen	2016-10-01 14:24:14 +0000
+++ mandos-keygen	2016-10-05 20:13:01 +0000
@@ -21,7 +21,7 @@
 # Contact the authors at <mandos@recompile.se>.
 # 
 
-VERSION="1.7.11"
+VERSION="1.7.12"
 
 KEYDIR="/etc/keys/mandos"
 KEYTYPE=RSA

=== modified file 'mandos-monitor'
--- mandos-monitor	2016-10-01 14:24:14 +0000
+++ mandos-monitor	2016-10-05 20:13:01 +0000
@@ -58,7 +58,7 @@
 domain = 'se.recompile'
 server_interface = domain + '.Mandos'
 client_interface = domain + '.Mandos.Client'
-version = "1.7.11"
+version = "1.7.12"
 
 try:
     dbus.OBJECT_MANAGER_IFACE

=== modified file 'mandos.lsm'
--- mandos.lsm	2016-10-01 14:24:14 +0000
+++ mandos.lsm	2016-10-05 20:13:01 +0000
@@ -1,7 +1,7 @@
 Begin4
 Title:		Mandos
-Version:	1.7.11
-Entered-date:	2016-10-01
+Version:	1.7.12
+Entered-date:	2016-10-05
 Description:	The Mandos system allows computers to have encrypted
 		root file systems and at the same time be capable of
 		remote and/or unattended reboots.
@@ -12,9 +12,9 @@
 Maintained-by:	teddy@recompile.se (Teddy Hogeborn),
 		belorn@recompile.se (Björn Påhlsson)
 Primary-site:	https://www.recompile.se/mandos
-		173K mandos_1.7.11.orig.tar.gz
+		173K mandos_1.7.12.orig.tar.gz
 Alternate-site:	ftp://ftp.recompile.se/pub/mandos
-		173K mandos_1.7.11.orig.tar.gz
+		173K mandos_1.7.12.orig.tar.gz
 Platforms:	Requires GCC, GNU libC, Avahi, GnuPG, Python 2.7, and
 		various other libraries.  While made for Debian
 		GNU/Linux, it is probably portable to other