Opened 10 years ago
Closed 10 years ago
#478 closed bug (fixed)
std bug in Spielwiese
Reported by: | Owned by: | somebody | |
---|---|---|---|
Priority: | blocker | Milestone: | Release 4-0-0 |
Component: | dontKnow | Version: | spielwiese |
Keywords: | Cc: |
Note: See
TracTickets for help on using
tickets.
This seems to be fixed in the newest spielwiese version available on github:
source: https://github.com/Singular/Sources