Closed rene-descartes2021 closed 2 years ago
Oops sorry about the merge commit. I've not used the GitHub web interface to accept PRs before. I'll read on how to avoid that.
@rene-descartes2021 That's ok, just use Squash and merge next time :P
Oops sorry about the merge commit. I've not used the GitHub web interface to accept PRs before. I'll read on how to avoid that.