Skip to content

Conversation

taeold
Copy link
Collaborator

@taeold taeold commented Oct 17, 2023

Missed a spot in #146

@taeold taeold mentioned this pull request Oct 17, 2023
@taeold taeold requested a review from Salakar October 19, 2023 17:09
@taeold taeold merged commit 3532b97 into main Oct 19, 2023
@taeold taeold deleted the dl-chore-types branch October 19, 2023 19:35
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