On Wed, 6 Dec 2023 21:12:40 GMT, Naoto Sato <na...@openjdk.org> wrote:
> This is an additional fix to JDK-8321131, where more clearing is required in > JLine. Marked as reviewed by alanb (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk/pull/17004#pullrequestreview-1769310866