Skip to content

Conversation

@michaelnebel
Copy link
Collaborator

@michaelnebel michaelnebel commented Oct 30, 2024

Follow up for #71

@michaelnebel michaelnebel marked this pull request as ready for review October 30, 2024 08:58
@pwntester
Copy link

Oops, sorry, I missed that

@michaelnebel
Copy link
Collaborator Author

Oops, sorry, I missed that

No worries! 👍

@pwntester pwntester merged commit 63e93b9 into main Oct 30, 2024
12 checks passed
@pwntester pwntester deleted the fixci branch October 30, 2024 09:29
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