Skip to content

Conversation

lucacome
Copy link
Contributor

Proposed changes

Bumps the version of Debian

@lucacome lucacome self-assigned this Aug 15, 2023
@lucacome lucacome requested a review from a team as a code owner August 15, 2023 18:59
@github-actions github-actions bot added the dependencies Pull requests that update a dependency file label Aug 15, 2023
Copy link

@jasonwilliams14 jasonwilliams14 left a comment

Choose a reason for hiding this comment

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

Looks good

@lucacome lucacome merged commit 91d142e into main Aug 16, 2023
@lucacome lucacome deleted the deps/bump-debian branch August 16, 2023 06:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dependencies Pull requests that update a dependency file
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants