On 12/13/2011 04:39 PM, Kostya Serebryany wrote: > fixed by r146526. Thanks! It works for me now. > This is a bit surprising because the file did not change for at least a > week and got broken today. > Did the warnings change? Not that I noticed, but I haven't been watching closely.