[Pkg-ocaml-maint-commits] [SCM] advi packaging branch, master, updated. debian/1.10.2-1-1-gcc6af5c

[Ralf Treinen]

The following commit has been merged in the master branch:
commit cc6af5c49bac1ee05910557c75aee7856a26fecd
Author: Ralf Treinen <treinen at free.fr>
Date:   Fri Oct 21 17:55:39 2011 +0200

    patches forwarded

diff --git a/debian/patches/examples-distclean b/debian/patches/examples-distclean
index 85373ee..26b6076 100644
--- a/debian/patches/examples-distclean
+++ b/debian/patches/examples-distclean
@@ -1,6 +1,7 @@
 Author: Ralf Treinen <treinen at debian.org>
 Description: add distclean target in eamples/Makefile since called from
   top level makefile
+Forwarded: 2011-10-21
 
 --- advi.orig/examples/Makefile	2010-04-05 19:45:28.000000000 +0200
 +++ advi/examples/Makefile	2010-04-05 19:45:50.000000000 +0200
diff --git a/debian/patches/manpage b/debian/patches/manpage
index 96bbd28..ae9c710 100644
--- a/debian/patches/manpage
+++ b/debian/patches/manpage
@@ -1,5 +1,6 @@
 Author: Ralf Treinen <treinen at debian.org>
 Description: Small improvement of manpage, and one typo
+Forwarded: 2001-10-21
 
 Index: advi/doc/advi.1
 ===================================================================
diff --git a/debian/patches/really-clean b/debian/patches/really-clean
index 68ac858..5576335 100644
--- a/debian/patches/really-clean
+++ b/debian/patches/really-clean
@@ -1,5 +1,6 @@
 Author: Ralf Treinen <treinen at debian.org>
 Description: Remove some generated files left over by upstream
+Forwarded: 2011-10-21
 
 Index: advi/src/Makefile.am
 ===================================================================
diff --git a/debian/patches/typo-message b/debian/patches/typo-message
index 3dbdbb6..2535a63 100644
--- a/debian/patches/typo-message
+++ b/debian/patches/typo-message
@@ -1,5 +1,6 @@
 Author: Ralf Treinen <treinen at debian.org>
 Description: Fix typo in messages issued by the program.
+Forwarded: 2011-10-21
 
 --- advi.orig/src/launch.ml	2010-04-05 11:23:34.000000000 +0200
 +++ advi/src/launch.ml	2010-04-05 11:24:11.000000000 +0200

-- 
advi packaging