I think this bug should be closed as the fix against the original problem has been committed. The new issue (found by Stefan) should be filed as another bug.
I think this bug should be closed as the fix against the original problem has been committed. The new issue (found by Stefan) should be filed as another bug.