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

eugen pushed a commit to branch master
in repository coccinelle.

commit 1fa7ba7af36419da544b30cb31d98aa4245ded76
Author: Eugeniy Meshcheryakov <eu...@debian.org>
Date:   Tue Feb 25 22:51:20 2014 +0100

    Removed patches:
    
    * Removed patches:
      - detect-itimer.diff - fixed upstream
---
 debian/changelog                  |  4 +++-
 debian/patches/detect-itimer.diff | 15 ---------------
 debian/patches/series             |  1 -
 3 files changed, 3 insertions(+), 17 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 2fe8e58..ddf0dec 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,8 +1,10 @@
 coccinelle (1.0.0~rc20.deb-1) unstable; urgency=medium
 
   * New upstream RC
+  * Removed patches:
+    - detect-itimer.diff - fixed upstream
 
- -- Євгеній Мещеряков <eu...@debian.org>  Tue, 25 Feb 2014 22:49:29 +0100
+ -- Євгеній Мещеряков <eu...@debian.org>  Tue, 25 Feb 2014 22:50:57 +0100
 
 coccinelle (1.0.0~rc19.deb-3) unstable; urgency=medium
 
diff --git a/debian/patches/detect-itimer.diff 
b/debian/patches/detect-itimer.diff
deleted file mode 100644
index 5bf2676..0000000
--- a/debian/patches/detect-itimer.diff
+++ /dev/null
@@ -1,15 +0,0 @@
---- a/commons/common.ml
-+++ b/commons/common.ml
-@@ -3529,7 +3529,11 @@
-  * question: can we have a signal and so exn when in a exn handler ?
-  *)
- 
--let interval_timer = ref true
-+let interval_timer = ref (
-+  try
-+    ignore(Unix.getitimer Unix.ITIMER_VIRTUAL);
-+    true
-+  with Unix.Unix_error(_, _, _) -> false)
- 
- let timeout_function timeoutval = fun f ->
-   try
diff --git a/debian/patches/series b/debian/patches/series
index f43f215..87fc0b5 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,2 +1 @@
 pdf-docs-build.diff
-detect-itimer.diff

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

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to