Christopher, Am 19.11.19 um 16:39 schrieb Christopher Faulet: > You're right Tim. But this one is small enough to be fixed immediately > :). I will push the patch with other ones I'm working on. But it is > already fixed. >
That's even better of course! Disregard my comment in *this specific* case then :-) Best regards Tim Düsterhus