[minisat+] 02/06: standards-version 3.9.8

[Ralf Treinen]

This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch master
in repository minisat+.

commit f38b4dc426434b6c282ee79a512f7852fc49d7a9
Author: Ralf Treinen <treinen at free.fr>
Date:   Mon Dec 19 07:18:38 2016 +0100

    standards-version 3.9.8
---
 debian/changelog | 3 ++-
 debian/control   | 2 +-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index aad8db3..2958cfe 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,8 +1,9 @@
 minisat+ (1.0-3) unstable; urgency=medium
 
   * debian/copyright: machine-readable format 1.0
+  * Standards-version 3.9.8 (no change)
 
- -- Ralf Treinen <treinen at debian.org>  Mon, 19 Dec 2016 07:14:12 +0100
+ -- Ralf Treinen <treinen at debian.org>  Mon, 19 Dec 2016 07:18:17 +0100
 
 minisat+ (1.0-2) unstable; urgency=low
 
diff --git a/debian/control b/debian/control
index 111c104..19c55ad 100644
--- a/debian/control
+++ b/debian/control
@@ -4,7 +4,7 @@ Priority: extra
 Maintainer: Debian Science Maintainers <debian-science-maintainers at lists.alioth.debian.org>
 Uploaders: Ralf Treinen <treinen at debian.org>
 Build-Depends: debhelper (>= 8), libgmp-dev, zlib1g-dev
-Standards-Version: 3.9.2
+Standards-Version: 3.9.8
 Homepage: http://minisat.se/MiniSat+.html
 Vcs-Git: git://git.debian.org/git/debian-science/packages/minisat+.git
 Vcs-Browser: http://git.debian.org/?p=debian-science/packages/minisat+.git

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/minisat+.git