Skip to content

Conversation

@yanascz
Copy link
Contributor

@yanascz yanascz commented Aug 13, 2022

May be tested via ⚡[email protected].

@yanascz yanascz closed this by deleting the head repository Nov 6, 2022
@bumi
Copy link
Owner

bumi commented Nov 6, 2022

why is this closed?

@yanascz
Copy link
Contributor Author

yanascz commented Nov 7, 2022

I forgot I had this PR opened and deleted my fork.

@yanascz yanascz reopened this Nov 7, 2022
@bumi
Copy link
Owner

bumi commented Nov 7, 2022

what was open here? can we merge it?

@yanascz
Copy link
Contributor Author

yanascz commented Nov 8, 2022

what was open here? can we merge it?

As long as you're happy with the changes, go ahead and merge it.

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