On Tue, Feb 25, 2020 at 10:14:10AM +0900, Kyotaro Horiguchi wrote:
> At Fri, 21 Feb 2020 14:02:40 +0100, Juan José Santamaría Flecha <juanjo.santamaria@gmail.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.
That's annoying, and you are right. So, committed.
--
Michael
