[dune-common] 04/06: Refresh patches.

[Ansgar Burchardt]

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

ansgar pushed a commit to branch master
in repository dune-common.

commit ea4f4b2551498b2f8d479acb8c86ec61a05b7777
Author: Ansgar Burchardt <ansgar at debian.org>
Date:   Mon Nov 21 17:22:42 2016 +0100

    Refresh patches.
---
 debian/patches/rename-git-whitespace-hook.patch | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/patches/rename-git-whitespace-hook.patch b/debian/patches/rename-git-whitespace-hook.patch
index 7f969d0..3b1fd31 100644
--- a/debian/patches/rename-git-whitespace-hook.patch
+++ b/debian/patches/rename-git-whitespace-hook.patch
@@ -6,7 +6,7 @@ tool.
 
 --- a/bin/dunecontrol
 +++ b/bin/dunecontrol
-@@ -501,17 +501,28 @@
+@@ -476,17 +476,28 @@
          fi
        else
          # standard handling of Git whitespace hook

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