On 12/03/2012 12:42 PM, Andrew Haley wrote: > On 12/03/2012 12:26 PM, Anthony Petrov wrote: >> The fix looks fine to me, too. Do you need a bug id to push it, or have >> you already filed one yourself? > > I haven't filed one. I will certainly do so now. Review ID: 2396520 Andrew.