Revision 0648faaa5d0e1e18e5cc80c518e6ddf7cc3da91e

Committed on 25/08/2015 10:45 am by Morel Sébastien <morel.seb@gmail.com> [GitHub Diff]

Fix deprecated criterion