Merge pull request #4137 from turion/patch-9
Re-enable rhine and rhine-gloss
commitf4d3b3a20c60cab91e227bf25c2fc24ba38764c9
authorDan Burton <danburton.email@gmail.com>
dateWed 5 Jun 2019, 11:52 (7 years ago)
parent30881ea236b60f
build-constraints.yaml+2−2
@@ -110,8 +110,8 @@ packages:
110110
111111 "Manuel Bärenz <programming@manuelbaerenz.de> @turion":
112112 - dunai
113− - rhine < 0
114− - rhine-gloss < 0
113+ - rhine
114+ - rhine-gloss
115115 - dunai-core
116116 - finite-typelits
117117