Board Thread:General Discussion/@comment--20150810171627/@comment-1038387-20150811103315

Tony ingram wrote: So that would explain the glitches like Mike's navigation menu and my customized edit toolbar, I'm guessing, but will these things be sorted out in time or do we actually need to do anything ourselves, and if so, how?

It'll be reenabled, but we don't know when.