No, that patch fixes both this bug and the other one. It's not wrong, but the upload should have closed this one too.
No, that patch fixes both this bug and the other one. It's not wrong, but the upload should have closed this one too.