OK, for the record, this isn't a question of Debian policy - it's just that the wrong response was taken to a very old bug and now it requires some work to clean up the mess. It can and should be fixed in both distributions.
OK, for the record, this isn't a question of Debian policy - it's just that the wrong response was taken to a very old bug and now it requires some work to clean up the mess. It can and should be fixed in both distributions.