Skip to content

Bump foliage#326

Merged
andreabedini merged 3 commits intomainfrom
bump-foliage
Jun 7, 2023
Merged

Bump foliage#326
andreabedini merged 3 commits intomainfrom
bump-foliage

Conversation

@andreabedini
Copy link
Copy Markdown
Contributor

Bump foliage to include fix for wrong formatting of preferred-versions.
See input-output-hk/foliage#66

@andreabedini andreabedini requested a review from a team as a code owner June 6, 2023 03:06
@andreabedini andreabedini self-assigned this Jun 6, 2023
Bump foliage to include fix for wrong formatting of preferred-versions.
See input-output-hk/foliage#66
@andreabedini andreabedini enabled auto-merge (rebase) June 7, 2023 14:11
@andreabedini andreabedini merged commit 38c7f8d into main Jun 7, 2023
@andreabedini andreabedini deleted the bump-foliage branch June 7, 2023 14:24
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.

1 participant