[Pkg-ocaml-maint-commits] [dose3] 06/06: patch disable-dot: +author +description

[Ralf Treinen]

This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch master
in repository dose3.

commit 00880157d8e5cc5bf45f47b16c5aa3dfc79b54fb
Author: Ralf Treinen <treinen at free.fr>
Date:   Sun Apr 3 22:04:53 2016 +0200

    patch disable-dot: +author +description
---
 debian/changelog           | 3 ++-
 debian/patches/disable_dot | 3 +++
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/debian/changelog b/debian/changelog
index 7412715..ff0f8aa 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -5,8 +5,9 @@ dose3 (4.2-2) unstable; urgency=medium
     - updated filename versioning/debian.ml
     - removed duplicate paragraph for debian/update-cudf-solvers
   * Vcs-git: replaced insecure git: URI by https:
+  * patch disable-dot: add Author and Description
 
- -- Ralf Treinen <treinen at debian.org>  Sun, 03 Apr 2016 21:59:34 +0200
+ -- Ralf Treinen <treinen at debian.org>  Sun, 03 Apr 2016 22:04:33 +0200
 
 dose3 (4.2-1) experimental; urgency=medium
 
diff --git a/debian/patches/disable_dot b/debian/patches/disable_dot
index 113b783..67ec42f 100644
--- a/debian/patches/disable_dot
+++ b/debian/patches/disable_dot
@@ -1,3 +1,6 @@
+Author: Mehdi Dogguy <mehdi at debian.org>
+Description: Disable call to dot to avoid FTBFS on some architectures
+
 Index: dose3/Makefile
 ===================================================================
 --- dose3.orig/Makefile	2016-02-09 21:10:52.221693890 +0100

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/dose3.git