From ad9ca600f7eb0344e78ef2ae274aaccff90308e4 Mon Sep 17 00:00:00 2001
From: Peter Honeder <peterhon@microsoft.com>
Date: Mon, 13 Jul 2015 14:49:54 -0700
Subject: [PATCH] re-pin to latest version in develop-2015-07-13

---
 src/monad | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/monad b/src/monad
index 9e61d13a08..8a5b0fe130 160000
--- a/src/monad
+++ b/src/monad
@@ -1 +1 @@
-Subproject commit 9e61d13a08be6f06986f895c1171991d73551429
+Subproject commit 8a5b0fe13067b5d20db768aea95298b1269ab81b