Comment 8 for bug 217701

Andreas: I've got a copy of a branch locally that reproduces this, so don't worry too much about upgrading your repo. It might be nice to keep a copy of it as it is just in case, but it shouldn't matter.