Skip to content

Conversation

@elharo
Copy link
Contributor

@elharo elharo commented Oct 23, 2022

@michael-o Minor type fix

@michael-o Minor type fix
@elharo elharo merged commit 5b61ee9 into master Oct 23, 2022
@elharo elharo deleted the elharo-patch-3 branch October 23, 2022 22:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants