An error occurred while fetching the assigned milestone of the selected merge_request.
veritas: Don't use forall as binding name
Compare changes
Files
4+ 2
− 2
@@ -384,7 +384,7 @@ constructor (SG sg) i j k
@@ -570,7 +570,7 @@ def (TM tm1 tm2 sg)