On Mon, Nov 20, 2023 at 05:32:47PM +0100, Jakub Jelinek wrote: > LGTM. Thanks a lot. Since Richi seems to be fine with the patch as well, I'll push it tomorrow AM if no comments.
Marek
On Mon, Nov 20, 2023 at 05:32:47PM +0100, Jakub Jelinek wrote: > LGTM. Thanks a lot. Since Richi seems to be fine with the patch as well, I'll push it tomorrow AM if no comments.
Marek