On Fri, Jan 03, 2020 at 04:48:51PM +0100, Michael Ströder wrote:
> On 1/3/20 12:55 PM, Ondřej Kuzník wrote:
>> On Thu, Jan 02, 2020 at 03:12:26PM +0100, Michael Ströder wrote:
>>> I've changed the subject to make it more clear what the real issue is.
>>
>> Yup, was away over the holidays, this
On 1/3/20 12:55 PM, Ondřej Kuzník wrote:
> On Thu, Jan 02, 2020 at 03:12:26PM +0100, Michael Ströder wrote:
>> I've changed the subject to make it more clear what the real issue is.
>
> Yup, was away over the holidays, this should now be fixed in master if
> you want to have a look.
AFAICS it
On Thu, Jan 02, 2020 at 03:12:26PM +0100, Michael Ströder wrote:
> Happy New Year!
> It's me again... ;-)
Happy New Year, Michael!
> I've changed the subject to make it more clear what the real issue is.
Yup, was away over the holidays, this should now be fixed in master if
you want to have a
