Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Use the Info field instead of the Data field for error messages. Otherwise the GUI code tries to treat the message as DSL data and breaks as a result.
- Loading branch information