#248: More clear error handling for toString throwing an exception --------------------------------------------+------------------------------- Reporter: https://openid.fau.de/eg74yneg | Owner: ehuelsmann Type: enhancement | Status: new Priority: major | Milestone: 1.1.1 Component: interpreter | Version: 1.1.0-dev Keywords: | --------------------------------------------+------------------------------- Changes (by https://www.google.com/accounts/o8/id?id=aitoawnthushznrlieuamks3fxvzisibfmu...):
* milestone: 1.1.0 => 1.1.1