> Thus, ok if it passes some testing.

And with PR bootstrap/50857 in the ChangeLog for extra brownie points.

-- 
Eric Botcazou

Reply via email to