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_status%20DESC%2Cshort_desc%2Cpriority%2Cassigned_to%2Cbug_id. They have been removed from the sort list.
Thu May 2 2024 00:01:18 CEST
Use the source Luke!
Hide Search Description
Zarro Boogs found.
as