On Tue, 28 Mar 2023 18:33:46 GMT, Andrey Turbanov <aturba...@openjdk.org> wrote:
> @lahodaj was the issue reported to the upstream? I've just filled: https://github.com/jline/jline3/issues/839 ------------- PR Comment: https://git.openjdk.org/jdk/pull/13100#issuecomment-1488819982
