Revision df310dd4fa2e65d0751526919925c24ad14a68e4

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

Update to use query, and not by now removed criterion