Open sternk opened 10 years ago
Comment by normann Migrated from http://trac.informatik.uni-bremen.de:8080/hets/ticket/800#comment:2
to avoid priority I lowered it from critical to normal. Moreover, it is not mentioned as part of release 0.95 so I changed it to 0.97.
Reported by till and assigned to normann Migrated from http://trac.informatik.uni-bremen.de:8080/hets/ticket/800