scripting

Fix Python readline history and input() editing under GDB by restoring sys.stdout and sys.stderr

Nov. 15, 23:00

1