Closed elmot closed 5 months ago
Fixes #262
Hi, Thank you for solving that. REPL now works again. Anyway, it seems #216 is still present (arrow keys not working in REPL, as before). Kind regards
Fixes #262