Closed FoamyGuy closed 11 months ago
This change is intended to serve as the basis for a patch file to then be applied by adabot across all libraries. I think the PR won't end up needing to be merged because adabot will do this repo as well, but I am not certain.
closing. This was completed separately from the PR.
This change is intended to serve as the basis for a patch file to then be applied by adabot across all libraries. I think the PR won't end up needing to be merged because adabot will do this repo as well, but I am not certain.