sourceforge-issues

Issues imported from sourceforge. These are just to track down everything on github. After closing all issues, we remove the repo again. Please don't open any issues here!