Details
-
Bug
-
Status: Closed
-
Major
-
Resolution: Fixed
-
None
-
None
-
None
-
None
Description
Fix submitted: https://asterix-gerrit.ics.uci.edu/#/c/1554/
Fix submitted: https://asterix-gerrit.ics.uci.edu/#/c/1554/