On 8/20/2023 4:43 AM, RazvanN wrote: > I haven't deleted any core.stdc.stdio imports in the PRs that have been enabled > by the tool (even though the tool correctly reported those as being unused). Thank you.