CodeMaster7000
CodeMaster7000
@SmashedFrenzy16 My bad. It was an honest mistake - I had accidentally added the commit to both PRs. Ignore any overlap/repetition.
@microsoft-github-policy-service agree
@saragibby How do I run the "agreement" command? The bot cannot be pinged.
@saragibby Done.
I have made the changes that you requested @mgeisler. Since the head repository has been deleted, I can no longer go back and make changes to this PR. However, #272...
@mgeisler Refer to #293 for the updated PR that reflects both of those requirements. I have also closed these 2 PRs. Thank you for the feedback!