add force_permissive in mandatory_warnings
[tiramisu.git] / VERSION
1 master