Thank you for spotting this. We never commit directly to main nor do we accept any PR from external repos to main. Although your modification is trivial we want to stick to our rules and keep our branches in sync. I will close your PR and make the modification in the dev branch and then merge this to main. Thanks again for taking the time to report.
Thank you for spotting this. We never commit directly to main nor do we accept any PR from external repos to main. Although your modification is trivial we want to stick to our rules and keep our branches in sync. I will close your PR and make the modification in the dev branch and then merge this to main. Thanks again for taking the time to report.