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: changeddate%2Cbug_id%20DESC. They have been removed from the sort list.
Wed Apr 24 2024 02:45:09 CEST
 Do not underestimate the power of the dark side!
Hide Search Description
Zarro Boogs found.
as