Skip to content
This repository has been archived by the owner on Aug 25, 2024. It is now read-only.

chore: release v0.7.2 #14

Closed
wants to merge 1 commit into from

Conversation

github-actions[bot]
Copy link
Contributor

🤖 New release

  • configured: 0.7.1 -> 0.7.2 (✓ API compatible changes)
Changelog

0.7.2 - 2023-12-18

Other

  • (deps) bump thiserror from 1.0.50 to 1.0.51 (#13)
  • (deps) bump config from 0.13.3 to 0.13.4 (#12)
  • (deps) bump serde from 1.0.192 to 1.0.193 (#11)
  • (deps) bump serde from 1.0.190 to 1.0.192 (#10)


This PR was generated with release-plz.

Signed-off-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
@hseeberger hseeberger closed this Dec 18, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant