No problem, that can happen.
On Fri, Mar 28, 2014 at 2:00 PM, Klaus Aehlig <[email protected]> wrote: > On Fri, Mar 28, 2014 at 01:55:01PM +0100, Petr Pudlák wrote: > > LGTM (just remove the git '#' commit message that got there by accident) > > Good catch. Thanks! Sorry for messing that up. > > -- > 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 >
