On Mon, Oct 4, 2010 at 16:31, Paul Pluzhnikov <ppluzhnikov@google.com> wrote: > Ping? Ping? (It's been 3 weeks.) Even you have to agree that there were more important bugs to work on. This one doesn't affect any correct code. Just code which accidentally works sometimes.