Closed chevreaux closed 1 year ago
argh, request you delete this. don't want my real life github attached to the commits. not that it's that big a deal, its already all over this repo.
GitHub doesn't allow deleting PRs through the UI unless you contact GitHub support https://stackoverflow.com/questions/18318097/delete-a-closed-pull-request-from-github
pretty sure george orwell wrote about this...
Paint only with left mouse button, and do not paint when you are placing an object/decoration.