Unfortunately, there is no proper status for bugs that got fixed by unrelated changes. I'll mark this as "invalid" even though this does not quite fit.
---<)kaimartin(>---
Unfortunately, there is no proper status for bugs that got fixed by unrelated changes. I'll mark this as "invalid" even though this does not quite fit.
---<)kaimartin(>---