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

The custom sort order specified contains one or more invalid column names: bug_id%20DESC. They have been removed from the sort list.
Fri Apr 19 2024 17:33:42 CEST
 gf.saveXML
Hide Search Description
Zarro Boogs found.
as