I fixed this in 1.8 and 1.9. Hopefully, Jamie, you will ensure that the new analysis reports in 2.0 do not make this mistake - anyway, the patch did not apply there, and you are in the middle of editing that file, so I did not make any changes in HEAD.
Tim Hunt
added a comment - I fixed this in 1.8 and 1.9. Hopefully, Jamie, you will ensure that the new analysis reports in 2.0 do not make this mistake - anyway, the patch did not apply there, and you are in the middle of editing that file, so I did not make any changes in HEAD.
I fixed this in 1.8 and 1.9. Hopefully, Jamie, you will ensure that the new analysis reports in 2.0 do not make this mistake - anyway, the patch did not apply there, and you are in the middle of editing that file, so I did not make any changes in HEAD.