11 November 2013 16:04:25 Fixes Important fix for the AddIn manager, which sometimes can ignore enabling or disabling Addins by user
