"Ted Mittelstaedt" <tedm at toybox.placo.com> writes: > One reason bugs get closed is that the submitters don't respond > to requests from the developers for further info. A status of > closed should not be interpreted to mean any bug was corrected. In this case, it *does* mean that the patch from the PR was committed.