Backport "Fix "Fix Ctrl-C Handling in the REPL"" to 3.8.4#25874

Merged

WojciechMazur merged 1 commit intorelease-3.8.4from

release-3.8.4_backport-25835

Apr 20, 2026

Commits on Apr 20, 2026

Fix "Fix Ctrl-C Handling in the REPL" (#25835)

lihaoyi
authored and
WojciechMazur
committed