maui
maui copied to clipboard
Merge net7.0 into main
Description of Change
Just merging things again from net7.0 as some new commits arrived while the previous PR was undergoing merging.
yeah another one we want here is #11220