From d48226b260172e2f646f1d81cb51ed213ac785a9 Mon Sep 17 00:00:00 2001
From: ktsai7 <35276356+ktsai7@users.noreply.github.com>
Date: Fri, 28 Jun 2019 09:39:59 -0600
Subject: [PATCH] Update package.py (#11872)

---
 var/spack/repos/builtin/packages/legion/package.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/var/spack/repos/builtin/packages/legion/package.py b/var/spack/repos/builtin/packages/legion/package.py
index 114f0ae834..cfe3832d2a 100644
--- a/var/spack/repos/builtin/packages/legion/package.py
+++ b/var/spack/repos/builtin/packages/legion/package.py
@@ -26,6 +26,7 @@ class Legion(CMakePackage):
     git      = "https://github.com/StanfordLegion/legion.git"
 
     version('develop', branch='master')
+    version('ctrl-rep', branch='control_replication')
     version('18.05.0', 'ab5ac8cd4aa4c91e6187bf1333a031bf')
     version('18.02.0', '14937b386100347b051a5fc514636353')
     version('17.10.0', 'ebfc974dc82a9d7f3ba53242ecae62e1')
-- 
GitLab