The patch fixes _a_ bug that fits the exact description of this bug. Whether or not it's the same bug (the original bug is probably a scheduling issue as well), this one needs fixing too.
The patch fixes _a_ bug that fits the exact description of this bug. Whether or not it's the same bug (the original bug is probably a scheduling issue as well), this one needs fixing too.