On Sat, May 2, 2020 at 11:05 PM Tomas Vondra <[email protected]>
wrote

> Pushed. Thanks for the report.
>

Thanks!

--
Atsushi Torikoshi

Reply via email to