microsoft-github-policy-service[bot] Auto merge mandatory file pr
373082a May 31, 2023
Auto merge mandatory file pr
This pr is auto merged as it contains a mandatory file and is opened for more than 10 days.
373082a