Closed zetaraku closed 3 years ago
I noticed that this PR was approved but closed without merge. Is that a mistake or it will be fixed after manually :)?
I am super sorry, this was a mistake! And unfortunately I can't reopen the RP, because your repo has been deleted: Do you still have the changes and can repost them?
I re-created the repo and restored the deleted branch but it seems that the connection has broken. Can the PR be reopened now? If not, should I open a new PR?
Looks like you have to create a new PR once the old repo was deleted.
Sorry for the trouble here.
Thanks for the review and fixes!