[dune-common] 03/05: 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 dd490a4a00e0b6c4f633dde5ac90774c2df0e5cc
Author: Ansgar Burchardt <ansgar at debian.org>
Date:   Sat Jan 6 14:30:21 2018 +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 b88f1d3..f772f42 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
-@@ -527,17 +527,28 @@
+@@ -520,17 +520,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