Revision 37ab2104e47e0507c1b7ea55c6f9d962bfe9cbec

Committed on 03/03/2018 10:12 am by Julien LEGRAND <[email protected]> [GitHub Diff]

remove the warning of obsolete use without a single quotation mark (#144)