On Wed, 21 May 2025 16:48:44 GMT, Naoto Sato <naoto at openjdk.org> wrote: >> Created jline/jline3#1282. > > Thanks! JLine seems to incorporate the stdin encoding already, which is quick! ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/25271#discussion_r2105219623