Skip to content

fix #8312 --hints:off and --warnings:off now honored everywhere#13489

Merged
Araq merged 1 commit intonim-lang:develfrom timotheecour:pr_fix_8312_hints_offFeb 26, 2020