We should retarget this one, because it's definitely too much work for now if we want to release 0.80 before christmas ;-)
Don't know what milestone fits best currently.
We should retarget this one, because it's definitely too much work for now if we want to release 0.80 before christmas ;-)
Don't know what milestone fits best currently.