[#12619] MenuManager: wrong assignment of $prevdepth
History
Comments
Updates
Updated: 2023-05-30 14:06
resolution_id: => 8
severity_id: 3 => 12
Updated: 2023-05-30 14:06
resolution_id: => 8
severity_id: 3 => 12