Skip to content

Conversation

@T1erno
Copy link

@T1erno T1erno commented May 9, 2022

Ctrl-c before:

2022-05-08_22-47

Ctrl-c after:

2022-05-08_22-48

@ShutdownRepo
Copy link
Owner

I'm sorry, I completely forgot about this PR and noticed it only now. I merged a big PR in the meantime and now this one conflicts. If you think this still should be merged, can you please fix the conflict and ping me so that I review and merge it @T1erno ?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants