Merge pull request 177 from dev/runtime into develop

2015-10-13 16:58:59 +00:00 · 2015-10-13 16:58:59 +00:00 · 0b755aa906
commit 0b755aa906
parent 1f63da09a4 487f7a5034
2 changed files with 2 additions and 2 deletions
--- a/src/monad
+++ b/src/monad
@ -1 +1 @@
-Subproject commit 454f5ebc3343cf764ed092392544c31dd3fbc375
+Subproject commit ef930a363b21180c02ee6148974d39938effa035
--- a/src/monad-ext
+++ b/src/monad-ext
@ -1 +1 @@
-Subproject commit dec304a9a8704f28176474072e83f439017bac6d
+Subproject commit 210f7442f5c5eeae098f5205fb6a05756f164656