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: component%2Cbug_status%2Cpriority%2Cassigned_to%2Cbug_id. They have been removed from the sort list.
Wed Apr 24 2024 22:30:15 CEST
 The smallest nuisance can be of greatest pain
Hide Search Description
Zarro Boogs found.
as