[Pkg-ocaml-maint-commits] [SCM] core packaging branch, master, updated. f8ededa2eb8978bbfb12678d0a88c29d117ce603

[Stefano Zacchiroli]

The following commit has been merged in the master branch:
commit dbb653bd860470319d3589e0c783afc3ceabcab0
Author: Stefano Zacchiroli <zack at upsilon.cc>
Date:   Sat May 3 12:04:14 2008 +0200

    bump debhelper compatibility to 7

diff --git a/debian/compat b/debian/compat
index 7ed6ff8..7f8f011 100644
--- a/debian/compat
+++ b/debian/compat
@@ -1 +1 @@
-5
+7

-- 
core packaging