On Tue, Jul 28, 2026 at 09:27:11AM +0200, Jakub Jelinek wrote: > LGTM, thanks for working on this.
Well, if you're ok with it, then no need to wait :). Pushed to trunk.
On Tue, Jul 28, 2026 at 09:27:11AM +0200, Jakub Jelinek wrote: > LGTM, thanks for working on this.
Well, if you're ok with it, then no need to wait :). Pushed to trunk.