Skip to content

make hex digit error msg more helpful#9727

Merged
Araq merged 1 commit intonim-lang:develfrom timotheecour:pr_improve_hex_digit_msgNov 16, 2018

Commits

Commits on Nov 15, 2018