Skip to content

fixes #100#101

Merged
constantinpape merged 1 commit intomasterfrom
martinschorb-patch-1
Mar 31, 2023
Merged

fixes #100#101
constantinpape merged 1 commit intomasterfrom
martinschorb-patch-1

Conversation

@martinschorb
Copy link
Copy Markdown
Contributor

@martinschorb martinschorb commented Mar 31, 2023

YAY Happy birthday mobie-Python. 100 issues... and 101 PRs, amazing!

YAY Happy birthday mobie-Python. 100 issues...
Copy link
Copy Markdown
Contributor

@constantinpape constantinpape left a comment

Choose a reason for hiding this comment

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

Awesome, thanks! (And not sure why we didn't run into this code path earlier ...)

@constantinpape constantinpape merged commit 8b18d8d into master Mar 31, 2023
@constantinpape constantinpape deleted the martinschorb-patch-1 branch March 31, 2023 15:50
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