diff --git a/deps/legion b/deps/legion index d065278678..ef6c499753 160000 --- a/deps/legion +++ b/deps/legion @@ -1 +1 @@ -Subproject commit d0652786784249e933dd62f675591da99a5e960d +Subproject commit ef6c499753cebb7bb44ac52c109144a9e6a1c577