For whatever reason, the bug number is wrong in the git log... it should (obviously) point to bug 882933.
For whatever reason, the bug number is wrong in the git log... it should (obviously) point to bug 882933.