[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, master, updated. upstream/0.8-20-g72993ee

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 72993ee301ce3c951c14c0cbbb870e961e42b976
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Thu Feb 26 15:03:43 2009 +0100

    Fix lintian's versionless-license-file

diff --git a/debian/copyright b/debian/copyright
index b1a3572..890324f 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -551,4 +551,4 @@ Version 1.0 dated 2006-09-05.
 
 
 The Debian packaging is © 2008, Mehdi Dogguy <dogguy at pps.jussieu.fr> and
-is licensed under the GPL, see `/usr/share/common-licenses/GPL'.
+is licensed under the GPL, see `/usr/share/common-licenses/GPL-2'.

-- 
alt-ergo packaging