[polyml] 04/07: thread-exited-interrupt-requested-overlap.diff: Applied upstream

[James Clarke]

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

jrtc27-guest pushed a commit to branch master
in repository polyml.

commit 0ffb29213ec665893888dc27f3aa82b83dc73cb1
Author: James Clarke <jrtc27 at jrtc27.com>
Date:   Mon Apr 25 20:54:44 2016 +0100

    thread-exited-interrupt-requested-overlap.diff: Applied upstream
---
 debian/patches/thread-exited-interrupt-requested-overlap.diff | 1 +
 1 file changed, 1 insertion(+)

diff --git a/debian/patches/thread-exited-interrupt-requested-overlap.diff b/debian/patches/thread-exited-interrupt-requested-overlap.diff
index 752dc63..67e4527 100644
--- a/debian/patches/thread-exited-interrupt-requested-overlap.diff
+++ b/debian/patches/thread-exited-interrupt-requested-overlap.diff
@@ -5,6 +5,7 @@ Description: Fix threadExited and interrupt_requested overlapping
  been killed, prematurely deleting its task data. This fixes #9.
 Author: James Clarke <jrtc27 at jrtc27.com>
 Forwarded: https://github.com/polyml/polyml/pull/51
+Applied-Upstream: https://github.com/polyml/polyml/commit/4ce6eee5829c256da2d2709787e19ea83a56f48c
 ---
 This patch header follows DEP-3: http://dep.debian.net/deps/dep3/
 --- a/libpolyml/processes.h

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