Skip to content

types: remove extranous imports#230

Merged
mcollina merged 1 commit intomasterfrom
remove-extraneous-imports
Dec 26, 2023
Merged

types: remove extranous imports#230
mcollina merged 1 commit intomasterfrom
remove-extraneous-imports

Conversation

@Uzlopak
Copy link
Contributor

@Uzlopak Uzlopak commented Dec 26, 2023

Checklist

Copy link
Member

@mcollina mcollina left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm

@mcollina mcollina merged commit be82d47 into master Dec 26, 2023
@Uzlopak Uzlopak deleted the remove-extraneous-imports branch December 26, 2023 09:51
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