It seems also this issue was fixed, without mentioning the fix here. This bugzilla is apparently not used by the obs maintainers. That would explain, why most of my issues takes multiple months to fix.