The following commit has been merged in the master branch:
commit 1cf59e677e44263ad588743bc6725ea87dcdb223
Author: Stephane Glondu <st...@glondu.net>
Date: Tue Aug 11 14:18:04 2009 +0200
Update list of authors
diff --git a/debian/copyright b/debian/copyright
index 739cd78..986fbc4 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -5,11 +5,13 @@ Upstream-Author:
Romain Bardou,
Johannes Kanig,
Stéphane Lescuyer,
- Jean-Christophe Filliâtre
+ Jean-Christophe Filliâtre,
+ François Bobot
Files: *
Copyright: © 2008-2009 Romain Bardou, Johannes Kanig,
- Stéphane Lescuyer, Jean-Christophe Filliâtre
+ Stéphane Lescuyer, Jean-Christophe Filliâtre,
+ François Bobot
License: LGPL-2.1 | other
This library is released under the LGPL version 2.1.
diff --git a/debian/mlpost.doc-base b/debian/mlpost.doc-base
index 6d79ecd..2385633 100644
--- a/debian/mlpost.doc-base
+++ b/debian/mlpost.doc-base
@@ -1,6 +1,6 @@
Document: mlpost
Title: Mlpost API documentation
-Author: Romain Bardou, Johannes Kanig, Stéphane Lescuyer and Jean-Christophe
Filliâtre
+Author: Romain Bardou, Johannes Kanig, Stéphane Lescuyer, Jean-Christophe
Filliâtre and François Bobot
Abstract: Mlpost API documentation
Section: Programming/OCaml
--
mlpost packaging
_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
