Skip to content

python3-pyocd: require python3-typing-extensions#15

Merged
IvoBCD merged 1 commit intomainfrom
pyocd_typing
Jul 31, 2023
Merged

python3-pyocd: require python3-typing-extensions#15
IvoBCD merged 1 commit intomainfrom
pyocd_typing

Conversation

@IvoBCD
Copy link
Contributor

@IvoBCD IvoBCD commented Jul 31, 2023

No description provided.

@IvoBCD IvoBCD added the bug fix Fixes something that was not working properly label Jul 31, 2023
@IvoBCD IvoBCD requested a review from JeremyBCD July 31, 2023 11:02
@IvoBCD IvoBCD self-assigned this Jul 31, 2023
@IvoBCD IvoBCD merged commit ce7fd86 into main Jul 31, 2023
@IvoBCD IvoBCD deleted the pyocd_typing branch July 31, 2023 11:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug fix Fixes something that was not working properly

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant