Am 22.10.19 um 23:51 schrieb Tobias Geerinckx-Rice:
> Ludo:
>> You forgot to push the patch.  Could you add it?
>
> I've reverted this patch for now to keep master relatively happy.
>
Ups, soory. New package including the patch in
77e0cebcadc8b96613832e1554e326d48e20f72f

-- 
Regards
Hartmut Goebel

| Hartmut Goebel          | h.goebel@crazy-compilers.com               |
| www.crazy-compilers.com | compilers which you thought are impossible |