Closed jakobkroeker closed 9 years ago
https://github.com/Singular/Sources/commit/9c933c81aa5988748b79ffa6ef5027c2e6b4fbea
reported to Olexander he did put back the error breaks, but as comments
https://github.com/Singular/Sources/commit/9c933c81aa5988748b79ffa6ef5027c2e6b4fbea
reported to Olexander he did put back the error breaks, but as comments