[Pkg-ocaml-maint-commits] [frama-c] 06/08: Add references to upstream bugs for some patches

[Mehdi Dogguy]

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

mehdi pushed a commit to branch master
in repository frama-c.

commit 15e7a33c3a162efe830fd70653456856b966e900
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Fri Aug 11 12:51:38 2017 -0400

    Add references to upstream bugs for some patches
---
 debian/patches/0001-Fix-spelling-error-in-binary.patch         | 1 +
 debian/patches/0005-Value.cmo-needs-LoopAnalysis.cmo.patch     | 2 ++
 debian/patches/0006-gui.byte-needs-TARGETS_GUI_BYTE-only.patch | 1 +
 debian/patches/0007-Fix-FTBFS-with-OCaml-4.05.0.patch          | 1 +
 debian/patches/0008-More-fixes-of-spelling-errors.patch        | 1 +
 5 files changed, 6 insertions(+)

diff --git a/debian/patches/0001-Fix-spelling-error-in-binary.patch b/debian/patches/0001-Fix-spelling-error-in-binary.patch
index a164401..9a7f13f 100644
--- a/debian/patches/0001-Fix-spelling-error-in-binary.patch
+++ b/debian/patches/0001-Fix-spelling-error-in-binary.patch
@@ -2,6 +2,7 @@ From: Mehdi Dogguy <mehdi at debian.org>
 Date: Thu, 21 Jan 2016 23:48:35 +0100
 Subject: Fix spelling-error-in-binary
 
+Forwarded: https://bts.frama-c.com/view.php?id=2323
 ---
  man/frama-c.1                              | 4 ++--
  src/kernel_services/ast_data/cil_types.mli | 2 +-
diff --git a/debian/patches/0005-Value.cmo-needs-LoopAnalysis.cmo.patch b/debian/patches/0005-Value.cmo-needs-LoopAnalysis.cmo.patch
index 99b0493..27b35f5 100644
--- a/debian/patches/0005-Value.cmo-needs-LoopAnalysis.cmo.patch
+++ b/debian/patches/0005-Value.cmo-needs-LoopAnalysis.cmo.patch
@@ -2,6 +2,8 @@ From: Mehdi Dogguy <mehdi at debian.org>
 Date: Wed, 21 Dec 2016 14:11:25 +0100
 Subject: Value.cmo needs LoopAnalysis.cmo
 
+Forwarded: https://bts.frama-c.com/view.php?id=2326
+
 Value plugin needs LoopAnalysis, but appears first during the linking
 phase. In order to workaround that, we move it before Value.cmo in the
 PLUGIN_CMO_LIST variable.
diff --git a/debian/patches/0006-gui.byte-needs-TARGETS_GUI_BYTE-only.patch b/debian/patches/0006-gui.byte-needs-TARGETS_GUI_BYTE-only.patch
index 8e7fa8f..a101205 100644
--- a/debian/patches/0006-gui.byte-needs-TARGETS_GUI_BYTE-only.patch
+++ b/debian/patches/0006-gui.byte-needs-TARGETS_GUI_BYTE-only.patch
@@ -2,6 +2,7 @@ From: Mehdi Dogguy <mehdi at debian.org>
 Date: Wed, 21 Dec 2016 14:14:24 +0100
 Subject: gui.byte needs TARGETS_GUI_BYTE only
 
+Forwarded: https://bts.frama-c.com/view.php?id=2325
 ---
  share/Makefile.dynamic | 8 ++++++--
  1 file changed, 6 insertions(+), 2 deletions(-)
diff --git a/debian/patches/0007-Fix-FTBFS-with-OCaml-4.05.0.patch b/debian/patches/0007-Fix-FTBFS-with-OCaml-4.05.0.patch
index 777daf1..3c74f74 100644
--- a/debian/patches/0007-Fix-FTBFS-with-OCaml-4.05.0.patch
+++ b/debian/patches/0007-Fix-FTBFS-with-OCaml-4.05.0.patch
@@ -2,6 +2,7 @@ From: Stephane Glondu <steph at glondu.net>
 Date: Thu, 27 Jul 2017 19:00:45 +0200
 Subject: Fix FTBFS with OCaml 4.05.0
 
+Forwarded: https://bts.frama-c.com/view.php?id=2324
 ---
  src/kernel_services/analysis/dataflow.ml  | 2 +-
  src/kernel_services/analysis/dataflow2.ml | 2 +-
diff --git a/debian/patches/0008-More-fixes-of-spelling-errors.patch b/debian/patches/0008-More-fixes-of-spelling-errors.patch
index c95f2a2..5180495 100644
--- a/debian/patches/0008-More-fixes-of-spelling-errors.patch
+++ b/debian/patches/0008-More-fixes-of-spelling-errors.patch
@@ -2,6 +2,7 @@ From: Mehdi Dogguy <mehdi at debian.org>
 Date: Fri, 11 Aug 2017 12:29:34 -0400
 Subject: More fixes of spelling errors
 
+Forwarded: https://bts.frama-c.com/view.php?id=2323
 ---
  src/plugins/scope/dpds_gui.ml   | 2 +-
  src/plugins/wp/GuiProver.ml     | 2 +-

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