Skip to content

Conversation

@JoniVR
Copy link
Member

@JoniVR JoniVR commented Sep 30, 2021

Merged too soon, was going to apply this fix to the PR still :D

@JoniVR JoniVR requested a review from waydabber September 30, 2021 21:07
@JoniVR
Copy link
Member Author

JoniVR commented Sep 30, 2021

Checks completed, @waydabber can you please approve & merge?

@JoniVR JoniVR merged commit 53ce822 into master Sep 30, 2021
@JoniVR JoniVR deleted the fix/build branch September 30, 2021 21:11
@waydabber
Copy link
Member

Checks completed, @waydabber can you please approve & merge?

Ooops sorry

@JoniVR
Copy link
Member Author

JoniVR commented Sep 30, 2021

No problem, I understand the enthusiasm and should've been more obvious that I wanted to add commits to it, congrats on the release! 🎉

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.

3 participants