On Wed, May 8, 2019 at 12:45 PM Etsuro Fujita
<fujita(dot)etsuro(at)lab(dot)ntt(dot)co(dot)jp> wrote:
> This doesn't get applied cleanly after commit 1d33858406. Here is a
> rebased version of the patch. I also modified the comments a little
> bit. If there are no objections from Antonin or anyone else, I'll
> commit the patch.
Pushed. Thanks for reviewing, Antonin!
Best regards,
Etsuro Fujita