Skip to content

Fixes problems with ReplRestart#389

Open
frere-jacques wants to merge 1 commit intoVigemus:masterfrom frere-jacques:fix_double_buffer_delete_on_repl_restart