This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Back to bug 670

Who When What Removed Added
fmathi16 2019-10-16 09:22:06 CEST Architecture x86_64 (64bit)
fmathi16 2019-10-16 11:02:14 CEST Resolution --- DUPLICATE
Status NEW RESOLVED

Back to bug 670