Comment 2 for bug 902143

Graham, it sounds like you have a branch in the works fixing the same bug and was caught by the concurrency. Can you please push your branch for review and assign it to this bug as well? We can then see which branch is more evolved and pick it.

Thanks a for working on this.