@Jan, well, either way it's a different bug from this one, since this one has no actually harmful side-effects. You should probably file a different report.
@Jan, well, either way it's a different bug from this one, since this one has no actually harmful side-effects. You should probably file a different report.