Skip to content

console-tui: the JSON reader decodes \uXXXX, so a name with an accent is not cafu00e9 - #1194

Merged
bong-water-water-bong merged 2 commits into
mainfrom
os/v3-tui-unicode
Nov 6, 2026
Merged

console-tui: the JSON reader decodes \uXXXX, so a name with an accent is not cafu00e9#1194
bong-water-water-bong merged 2 commits into
mainfrom
os/v3-tui-unicode

Commits

  1. Commits on Nov 6, 2026