FWIW, I've updated my branch proposing to fix bug 1508208, and I agree with Michele that it would address both that one and this -- I think they're the same bug.
FWIW, I've updated my branch proposing to fix bug 1508208, and I agree with Michele that it would address both that one and this -- I think they're the same bug.