Revision 3acd151e3626ffb4de30cdeb26b67795b95c91f7

Committed on 17/10/2016 9:30 am by André R <andre.romcke@gmail.com> [GitHub Diff]

Update to use filter over removed criterion