Thanks. You are right, I forgot the capitalisation differences betwenn German and English.
> On Sun, Dec 10, 2017 at 12:42:32AM +0100, Christoph R. Murauer wrote: >> Hello ! > morning. > fixed, thanks. > jmc
Thanks. You are right, I forgot the capitalisation differences betwenn German and English.
> On Sun, Dec 10, 2017 at 12:42:32AM +0100, Christoph R. Murauer wrote: >> Hello ! > morning. > fixed, thanks. > jmc