Upgrade Legion
This is a reminder to myself to upgrade Legion because the fix for https://github.com/StanfordLegion/legion/issues/913 has landed.
This is a reminder to myself to upgrade Legion because the fix for https://github.com/StanfordLegion/legion/issues/913 has landed.