That's still a bug because it shouldn't be possible to successfully install different packages which cause bugs like this. But it's also a bug that we are unlikely to ever encounter again or fix.
That's still a bug because it shouldn't be possible to successfully install different packages which cause bugs like this. But it's also a bug that we are unlikely to ever encounter again or fix.