penguindark e85c1fb762 utf8: bug fix in get_uchar (#5775)		2020-07-10 14:44:40 +02:00
..
utf8_util.v	…
utf8_util_test.v	…