Michael Gottesman <mgottesman at apple.com> wrote on 31.10.2012 21:20:25: > After chatting with Hal Finkel, it seems that Ulrich probably has > gone home for the day. I fixed the issue and committed it in r167162. Sorry for the breakage; thanks for the quick fix! Bye, Ulrich