4.2

2016-06-22 Fix1

Fixes

  • Avoid errors and UI cruft when deactivating a plugin that added custom filters in use