On Fri, Jul 04, 2014 at 03:33:18PM +0200, Petr Pudlák wrote: > I propose the interdiff:
LGTM -- Klaus Aehlig Google Germany GmbH, Dienerstr. 12, 80331 Muenchen Registergericht und -nummer: Hamburg, HRB 86891 Sitz der Gesellschaft: Hamburg Geschaeftsfuehrer: Graham Law, Christine Elizabeth Flores
