Closed CodingDoug closed 1 year ago
Hmm, this PR was merged before I had a chance to review :( Also, this repo uses bors, so it would be better to merge it using "bors merge" (not that it matters a lot).
Sorry, forgot about that! Will submit a new PR with updates.
Hmm, this PR was merged before I had a chance to review :( Also, this repo uses bors, so it would be better to merge it using "bors merge" (not that it matters a lot).