Release date13 Dec 2021 Release typeMAINTENANCEHighlightsMaintenance release ImprovementsFilter selection in gadgets now includes all available filters Bug fixesIssue navigator links did not work properly for certain fields
8.5.7, themed by Refined 7.5.3 and Decadis AG