I'm not sure what happened, but my commit did not seem to stick. I've just made it again. As before, bzr refuses to hear about my reference to the bug number, since it's already closed, so I hereby state that the bug is closed by commit revno 114702.