Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge branch 'apriakhin/fix-xd-queue' into 'master'
Realm(bugfix): re-queue xd by pushing it to the back See merge request StanfordLegion/legion!1574 (cherry picked from commit 3b43b2c) e7c70f8 realm: re-queue xd by pushing to the back Co-authored-by: apryakhin <pryakhin.artem@gmail.com>
- Loading branch information