On Wed, May 8, 2019 at 12:45 PM Etsuro Fujita <fujita.ets...@lab.ntt.co.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
