Perhaps we shouldn&#39;t close the bug report until a fix is actually committed?<br>