Closed tangjin0418 closed 5 months ago
Thanks for fixing that. You could've just pushed a new commit to the branch which fixed it (or amended your previous commit with the fix and force pushed if you wanted to only have one proper commit on that branch but usually just having a fixing commit is enough as you can squash all changes in the PR into one commit when merging anyways)
Fix #21
Sorry, I recreated a PR. I'm still getting used to git. Please recheck this. (And if you can tell me what to do next time, that will be nice)