[SCM] UNNAMED PROJECT branch, master, updated. 43de953ebd32e7a02650702338a5ea38b83abe77

[Lionel Elie Mamane]

The following commit has been merged in the master branch:
commit 43de953ebd32e7a02650702338a5ea38b83abe77
Author: Andreas Tille <tille at debian.org>
Date:   Wed Jun 13 16:40:49 2012 +0200

    Fix changelog entry to enable machine readable parser obtaining the information it needs

diff --git a/debian/changelog b/debian/changelog
index 320d8ec..84fd21d 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -17,7 +17,7 @@ isabelle (2008-4) UNRELEASED; urgency=low
   * isabelle package now architecture: all
   * install heaps into /usr/lib
 
- --
+ -- Lionel Elie Mamane <lionel at mamane.lu>  Wed Aug 13 01:52:47 2008 +0200
 
 isabelle (2008-3) unstable; urgency=low
 

-- 
UNNAMED PROJECT