At Fri, 21 Feb 2020 14:02:40 +0100, Juan José Santamaría Flecha <juanjo(dot)santamaria(at)gmail(dot)com> wrote in
> After commit 9573384 this patch no longer applies, but with a trivial
> rebase it fixes the issue.
Thanks! This is the rebased version. I'll register this to the next CF.
regards.
--
Kyotaro Horiguchi
NTT Open Source Software Center