Skip to content

Conversation

@moul
Copy link
Owner

@moul moul commented Jul 31, 2023

Signed-off-by: Manfred Touron [email protected]

Signed-off-by: Manfred Touron <[email protected]>
@moul moul self-assigned this Jul 31, 2023
@trafico-bot trafico-bot bot added the 🔍 Ready for Review Pull Request is not reviewed yet label Jul 31, 2023
@moul moul marked this pull request as ready for review July 31, 2023 22:53
@moul moul merged commit 68d935c into master Jul 31, 2023
@moul moul deleted the dev/moul/bumpdeps branch July 31, 2023 22:54
@trafico-bot trafico-bot bot added ✨ Merged Pull Request has been merged successfully and removed 🔍 Ready for Review Pull Request is not reviewed yet labels Jul 31, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

✨ Merged Pull Request has been merged successfully

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants