Community
Participate
Working Groups
Do not provide any UI for disabling the filter because this is controlled on a per-repository basis.
New Gerrit change created: https://git.eclipse.org/r/60006
Gerrit change https://git.eclipse.org/r/60006 was merged to [master]. Commit: http://git.eclipse.org/c/mylyn/org.eclipse.mylyn.tasks.git/commit/?id=f653f7f0ce4a5fb7b84c0e99fa9634ef28bbc260
Thanks very much for the contribution!