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

[Ansgar Burchardt]

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

ansgar pushed a commit to annotated tag debian/2.3.0-1
in repository dune-common.

commit 5ef9f50471429868bfde0d1cfcc67db8878fd5f7
Author: Ansgar Burchardt <ansgar at debian.org>
Date:   Fri Feb 14 09:12:30 2014 +0100

    Refresh patches.
---
 debian/patches/rename-git-whitespace-hook.patch  | 2 +-
 debian/patches/skip-dirs-starting-with-dot.patch | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/debian/patches/rename-git-whitespace-hook.patch b/debian/patches/rename-git-whitespace-hook.patch
index 2a881e5..2bd94a6 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
-@@ -466,17 +466,28 @@
+@@ -471,17 +471,28 @@
          fi
        else
          # standard handling of Git whitespace hook
diff --git a/debian/patches/skip-dirs-starting-with-dot.patch b/debian/patches/skip-dirs-starting-with-dot.patch
index 683a615..ab89582 100644
--- a/debian/patches/skip-dirs-starting-with-dot.patch
+++ b/debian/patches/skip-dirs-starting-with-dot.patch
@@ -2,7 +2,7 @@ From: Ansgar Burchardt <ansgar at debian.org>
 Subject: skip directories starting with a dot when looking for dune.module
 --- a/lib/dunemodules.lib
 +++ b/lib/dunemodules.lib
-@@ -238,7 +238,7 @@
+@@ -241,7 +241,7 @@
          while read m; do
            test -n "$m" && parse_control "$m"
          done <<EOFM

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