-
Yuya Nishihara authored
ui.label should be ascii in most cases, but it isn't guaranteed. This is the easiest fix for #3988 which was probably caused by pipeui.splitmsgs(). --HG-- branch : stable
02916bfa679f
ui.label should be ascii in most cases, but it isn't guaranteed. This is the easiest fix for #3988 which was probably caused by pipeui.splitmsgs(). --HG-- branch : stable