[Pkg-ocaml-maint-commits] [SCM] pkglab packaging branch, master, updated. debian/1.4.2-1-2-g6bed820

[Ralf Treinen]

The following commit has been merged in the master branch:
commit f273382503d9628c8751f426898975777bb4ccf3
Author: Ralf Treinen <treinen at free.fr>
Date:   Sun Jun 14 19:47:06 2009 +0200

    use corect type for pkgs_to_check_only

diff --git a/distcheck/common.ml b/distcheck/common.ml
index e2dd611..8cf30ab 100644
--- a/distcheck/common.ml
+++ b/distcheck/common.ml
@@ -15,7 +15,7 @@ and quiet = ref false
 and output_xml= ref false
 and dist_type = ref `Debian
 and source_added = ref false
-and pkgs_to_check_only = ref []
+and pkgs_to_check_only = ref Package_set.empty
 and pkgs_to_check_only_set = ref false;;
 
 let db = create_database ();;

-- 
pkglab packaging