[polyml] 05/05: x32.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 b717a3b5ffb0c7cea52caf8c0ea826ff309d26a3
Author: James Clarke <jrtc27 at jrtc27.com>
Date:   Mon Mar 14 19:37:36 2016 +0000

    x32.diff: Applied upstream
---
 debian/patches/x32.diff | 1 +
 1 file changed, 1 insertion(+)

diff --git a/debian/patches/x32.diff b/debian/patches/x32.diff
index bb6ab3f..c36cf18 100644
--- a/debian/patches/x32.diff
+++ b/debian/patches/x32.diff
@@ -1,6 +1,7 @@
 Description: Add support for x32 ABI
 Author: James Clarke <jrtc27 at jrtc27.com>
 Forwarded: https://github.com/polyml/polyml/pull/36
+Applied-Upstream: https://github.com/polyml/polyml/commit/a5e7ab1556e0d4923c6051cd0c84157b27bbfec4
 ---
 This patch header follows DEP-3: http://dep.debian.net/deps/dep3/
 --- a/config.h.in

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