OK, thanks. I think this is an essentially unrelated bug, much closer to bug 273189 than to this one.
OK, thanks. I think this is an essentially unrelated bug, much closer to bug 273189 than to this one.