On Sat, Feb 9, 2013 at 1:44 AM, Michael Ring <mail at michael-ring.org> wrote: > I just did a svn update, build breaks, reverting to 40206 solves the problem Should be fixed by r40208 -- Alexander S. Klenin