Backport "REPL: JLine: follow recommendation to use JNI, not JNA; also JLine 3.27.1 (was 3.27.0)" to 3.6#22271
Merged
WojciechMazur merged 2 commits intorelease-3.6.3from Dec 30, 2024
Commits
Commits on Dec 30, 2024
- authored andcommitted
- authored andcommitted