Revision 3acd151e3626ffb4de30cdeb26b67795b95c91f7

Committed on 17/10/2016 9:30 am by AndrĂ© R <[email protected]> [GitHub Diff]

Update to use filter over removed criterion