Checking/unchecking filters works as expected.
merged
By Otto Visser on 2018-11-15T11:27:28 (imported from GitLab project)
mentioned in commit 9fa67eb5