Skip to content

Fix changing of alert_type on Alert pane#1734

Merged
philippjfr merged 2 commits intomasterfrom alert_fixNov 2, 2020