[cvc4] 01/04: Forward patches 01-ref-compare.patch and 04-spelling-errors.patch

[Fabian Wolff]

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

fw-guest pushed a commit to branch master
in repository cvc4.

commit 8af0fd013b4242f47dcb9a02c8e99b20d63d39a4
Author: Fabian Wolff <fabi.wolff at arcor.de>
Date:   Tue Apr 4 17:22:34 2017 +0200

    Forward patches 01-ref-compare.patch and 04-spelling-errors.patch
---
 debian/patches/01-ref-compare.patch     | 2 +-
 debian/patches/04-spelling-errors.patch | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/debian/patches/01-ref-compare.patch b/debian/patches/01-ref-compare.patch
index 00cb3f5..40dfc47 100644
--- a/debian/patches/01-ref-compare.patch
+++ b/debian/patches/01-ref-compare.patch
@@ -1,6 +1,6 @@
 Description: Fix a compilation error
 Author: Fabian Wolff <fabi.wolff at arcor.de>
-Forwarded: no
+Forwarded: https://github.com/CVC4/CVC4/pull/143
 Last-Update: 2017-03-17
 ---
 This patch header follows DEP-3: http://dep.debian.net/deps/dep3/
diff --git a/debian/patches/04-spelling-errors.patch b/debian/patches/04-spelling-errors.patch
index a38b8b6..312ee69 100644
--- a/debian/patches/04-spelling-errors.patch
+++ b/debian/patches/04-spelling-errors.patch
@@ -1,6 +1,6 @@
 Description: Fix spelling errors found by Lintian
 Author: Fabian Wolff <fabi.wolff at arcor.de>
-Forwarded: no
+Forwarded: https://github.com/CVC4/CVC4/pull/143
 Last-Update: 2017-03-17
 ---
 This patch header follows DEP-3: http://dep.debian.net/deps/dep3/

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/cvc4.git