#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.2.0 Component: interpreter | Version: 1.1.0-dev Keywords: | --------------------------------------------+------------------------------- Changes (by mevenson):
* milestone: 1.1.1 => 1.2.0