Skip to content

Configure Mend Bolt#2749

Merged
sbrunner merged 1 commit intomasterfrom
configure-mend-bolt
Dec 4, 2022
Merged

Configure Mend Bolt#2749
sbrunner merged 1 commit intomasterfrom
configure-mend-bolt

Conversation

@sbrunner
Copy link
Copy Markdown
Member

@sbrunner sbrunner commented Dec 4, 2022

No description provided.

@sbrunner sbrunner added the chore Build, CI, Code style, Types, Test, ... label Dec 4, 2022
@sbrunner sbrunner force-pushed the configure-mend-bolt branch from d1a3a46 to df9a5f5 Compare December 4, 2022 15:23
@sbrunner sbrunner merged commit f8d5a6d into master Dec 4, 2022
@sbrunner sbrunner deleted the configure-mend-bolt branch December 4, 2022 15:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Build, CI, Code style, Types, Test, ...

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant