On 18.01.2011 14:18, Olivier Certner wrote: >> I make buildworld without problems after that yesturday. > > Same here. Perhaps someone could add a small entry about that in UPDATING? It > seems that this problem is likely to be reported over and over without such a > notice. IMO the problem should be fixed, not documented :-)