Yes, but that wasn't extra space. On Mon, Oct 19, 2015 at 3:55 PM, Klaus Aehlig <[email protected]> wrote:
> > Extra space in MonD.hs is unrelated to the patch. > > I assume you were talking about patch 8. Will resend the fixed series. > > -- > Klaus Aehlig > Google Germany GmbH, Dienerstr. 12, 80331 Muenchen > Registergericht und -nummer: Hamburg, HRB 86891 > Sitz der Gesellschaft: Hamburg > Geschaeftsfuehrer: Matthew Scott Sucherman, Paul Terence Manicle > -- Oleg Ponomarev Software Engineering Intern [email protected] +7 903 5542505 Google Germany GmbH Maximilianstraße 13 80539 München Geschäftsführer: Matthew Scott Sucherman, Paul Terence Manicle Registergericht und -nummer: Hamburg, HRB 86891 Sitz der Gesellschaft: Hamburg Diese E-Mail ist vertraulich. Wenn Sie nicht der richtige Adressat sind, leiten Sie diese bitte nicht weiter, informieren Sie den Absender und löschen Sie die E-Mail und alle Anhänge. Vielen Dank. This e-mail is confidential. If you are not the right addressee please do not forward it, please inform the sender, and please erase this e-mail including any attachments. Thanks.
