On Dec 19, 2011, at 2:25 PM, Richard Sandiford wrote: > I've just added a PR reference to the ChangeLog entry. I don't think it's > the kind of thing that should be backported to branches, but I'm never > too sure whether that means the bug should be closed as fixed or not.
Closed, fixed, known to work in 4.7.0, known to fail in 4.6.0. It's reasonable to leave a PR open for expected back ports, if one or more are planned.
