On Fri, 30 Aug 2024, Jakub Jelinek wrote:

> Here is the full updated patch.

This patch is OK.

-- 
Joseph S. Myers
josmy...@redhat.com

Reply via email to