Updated some dependencies #113

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Merged

cmaglie merged 1 commit into main from update_libraries

Jun 20, 2022

Member

cmaglie commented Jun 16, 2022

Please check if the PR fulfills these requirements

The PR has no duplicates (please search among the Pull Requests
before creating one)
The PR follows our contributing guidelines
Tests for the changes have been added (for bug fixes / features)

What kind of change does this PR introduce?
Updated some dependencies


          Updated some dependencies

cmaglie self-assigned this

cmaglie merged commit 5c1c667 into main

cmaglie deleted the update_libraries branch

June 20, 2022 13:37

per1234 added type: enhancement topic: infrastructure labels

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

topic: infrastructure type: enhancement