[SCM] minisat+ packaging branch, master, updated. upstream/2011.05.10-8-gfd4f82b

[Ralf Treinen]

The following commit has been merged in the master branch:
commit b5ddefe82f664e0e2b2b5305b1489ba41fec8500
Author: Ralf Treinen <treinen at free.fr>
Date:   Tue May 10 17:10:37 2011 +0200

    update version number again :-(

diff --git a/debian/changelog b/debian/changelog
index 70ab891..20ea448 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,4 +1,4 @@
-minisat+ (2010.05.10-1) unstable; urgency=low
+minisat+ (2011.05.10-1) unstable; urgency=low
 
   * Initial package.
 

-- 
minisat+ packaging