M27-0-1: Permit elements defined in other headers#144

Merged

lcartey merged 3 commits intogithub:mainfrom

lcartey:m27-0-1/permit-non-cstdio-uses

Nov 25, 2022

Commits on Nov 21, 2022

Commits on Nov 25, 2022

Merge branch 'main' into m27-0-1/permit-non-cstdio-uses
lcartey
authored