Issue #3080: case_ok() expects Unicode strings
1 file changed