Revision a6524c7952af50eae0cc4523b7693562c08796eb

Committed on 12/08/2017 3:56 am by Simounet <contact@simounet.net> [GitHub Diff]

Replace deprecated criterion call