Closed darthdeus closed 10 months ago
I guess this is a super tiny and maybe even unnecessary fix, but I noticed it as I was reading the changelog for 0.8.0, so here's a PR :)
thank you!
I guess this is a super tiny and maybe even unnecessary fix, but I noticed it as I was reading the changelog for 0.8.0, so here's a PR :)