Skip to content

Conversation

@JelleZijlstra
Copy link
Member

No description provided.

@JelleZijlstra
Copy link
Member Author

Lint fails due to a new check unrelated to this change. I'll take a look today or tomorrow to fix it.

@hauntsaninja
Copy link
Collaborator

#1111 gotta claim the cool PR numbers :-)

@JelleZijlstra JelleZijlstra merged commit 07fb800 into master Mar 22, 2022
@JelleZijlstra JelleZijlstra deleted the JelleZijlstra-patch-1 branch March 22, 2022 21:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants