Skip to content

Use MANAGER_VERSION#288

Merged
berendt merged 1 commit intomainfrom
fix
Sep 11, 2022
Merged

Use MANAGER_VERSION#288
berendt merged 1 commit intomainfrom
fix

Conversation

@berendt
Copy link
Copy Markdown
Member

@berendt berendt commented Sep 11, 2022

Signed-off-by: Christian Berendt berendt@osism.tech

Signed-off-by: Christian Berendt <berendt@osism.tech>
@berendt berendt merged commit 8478eb5 into main Sep 11, 2022
@berendt berendt deleted the fix branch September 11, 2022 13:49
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