Skip to content

Update dependencies#106

Merged
AlfioEmanueleFresta merged 3 commits into
masterfrom
dependencies-update-1
May 26, 2025
Merged

Update dependencies#106
AlfioEmanueleFresta merged 3 commits into
masterfrom
dependencies-update-1

Conversation

@AlfioEmanueleFresta
Copy link
Copy Markdown
Member

  • Updates some dependencies
  • Minor code change, required because of type change in underlying library

@AlfioEmanueleFresta AlfioEmanueleFresta marked this pull request as ready for review May 23, 2025 16:25
Copy link
Copy Markdown
Collaborator

@msirringhaus msirringhaus left a comment

Choose a reason for hiding this comment

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

LGTM!

@AlfioEmanueleFresta AlfioEmanueleFresta merged commit 05b0551 into master May 26, 2025
4 checks passed
@AlfioEmanueleFresta AlfioEmanueleFresta deleted the dependencies-update-1 branch May 26, 2025 13:54
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