❦ 3 février 2017 12:14 +0100, Werner Koch :
>> I am fixing with this patch. Only lightly tested.
>
> FWIW, I forgot to push a fix I had in my local repo. Just did this, put
> also not tested. This is basically the same as yours but w/o any
> delay.
I think your patch is about #850708. In #85
On Thu, 2 Feb 2017 19:29, ber...@debian.org said:
> I am fixing with this patch. Only lightly tested.
FWIW, I forgot to push a fix I had in my local repo. Just did this, put
also not tested. This is basically the same as yours but w/o any delay.
Shalom-Salam,
Werner
commit b0e0bdeac5d40
2 matches
Mail list logo