The title says it all.
Fixed in da35594
Automatically closed -- issue fixed for 2 weeks with no activity.
Issue #2045907: Remove extra tabs from deleted platforms.
Comments
Comment #1
ergonlogicFixed in da35594