Re: [PATCH] Remove unused PageIsPredicateLocked()

Wed, 28 Oct 2026 01:06:05 -0700 

On Fri, Oct 23, 2026 at 10:42 PM Aleksander Alekseev
<[email protected]> wrote:
> Sounds good to me.

I've pushed both patches. Thanks!

Regards,

-- 
Fujii Masao

Reply via email to