On Thu, Jun 14, 2018 at 5:15 PM Heiko Voigt <hvoigt@xxxxxxxxxx> wrote: > ... > Would you want to update your patch? Or should I put one on top? I think it's better that you make a proper patch. You can provide explanation and all. I am more like a bug reporter :) -- Duy
