Hi Robert. I think I found it: bug #636188. That bug is about merge proposals, not bug reports, but it sounds like the same bug, so I've marked as a dupe and left a comment there.
Hi Robert. I think I found it: bug #636188. That bug is about merge proposals, not bug reports, but it sounds like the same bug, so I've marked as a dupe and left a comment there.