Revision 0648faaa5d0e1e18e5cc80c518e6ddf7cc3da91e

Committed on 25/08/2015 10:45 am by Morel Sébastien <[email protected]> [GitHub Diff]

Fix deprecated criterion