microsoft-github-policy-service[bot] Auto merge mandatory file pr
7c30a37 Jun 13, 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.
7c30a37