I wonder: When was the fix-commited? Is the bug back open again, or has the fix not been pushed to the repo's yet?
I wonder: When was the fix-commited?
Is the bug back open again, or has the fix not been pushed to the repo's yet?