On 18.09.2017 16:48, Tim Rühsen wrote:
> Hi Josef,
>
> pushed your patch - thanks for your contribution.
Welcome
> BTW, the example from your original post doesn't show that wrong server
> behavior any more. Maybe the server got fixed meanwhile !?
I guess so. Probably a glitch.
That's why I
Hi Josef,
pushed your patch - thanks for your contribution.
BTW, the example from your original post doesn't show that wrong server
behavior any more. Maybe the server got fixed meanwhile !?
With Best Regards, Tim
On 09/14/2017 07:47 PM, Josef Moellers wrote:
> On 14.09.2017 17:06, Tim