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




Reply via email to