I'm closing this bug owing to inactivity, and my belief that it has been fixed since May 11 (see the ChangeLog).
I'm closing this bug owing to inactivity, and my belief that it has been fixed since May 11 (see the ChangeLog).