julia
fix #31352, make sure errors while printing errors don't kill the REPL
#31366

Merged

fix #31352, make sure errors while printing errors don't kill the REPL #31366

Keno merged 1 commit into master from jb/fix31352

JeffBezanson added REPL

JeffBezanson added bugfix

fix #31352, make sure errors while printing errors don't kill the REPL

19fbb482

JeffBezanson force pushed from ab5feaf8 to 19fbb482 7 years ago

Keno approved these changes on 2019-03-15

Keno merged 95791765 into master 7 years ago

martinholters deleted the jb/fix31352 branch 7 years ago

Reviewers

Keno

Assignees

No one assigned

Labels

REPL bugfix

Milestone

No milestone