The following commit has been merged in the master branch:
commit 49623264f7f20f86e6a41e214b8c34bdf4601c86
Author: Lucas Nussbaum <lu...@debian.org>
Date:   Fri Jul 5 16:49:50 2013 +0200

    README.Debian does not need to be listed in debian/docs.

diff --git a/debian/docs b/debian/docs
index 36e6528..5502ed8 100644
--- a/debian/docs
+++ b/debian/docs
@@ -1,4 +1,3 @@
 NEWS
 README
 TODO
-debian/README.Debian

-- 
marionnet packaging

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to