Revision df310dd4fa2e65d0751526919925c24ad14a68e4

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

Update to use query, and not by now removed criterion