Skip to content

Comments

Handle supervisor startup#75

Merged
pvizeli merged 4 commits intomasterfrom
Handle-supervisor-startup
Apr 1, 2022
Merged

Handle supervisor startup#75
pvizeli merged 4 commits intomasterfrom
Handle-supervisor-startup

Conversation

@ludeeus
Copy link
Member

@ludeeus ludeeus commented Mar 10, 2022

image

Closes #66

Copy link
Member

@frenck frenck left a comment

Choose a reason for hiding this comment

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

LGTM 👍 (after CI errors is fixed that is)

@ludeeus
Copy link
Member Author

ludeeus commented Mar 10, 2022

CI errors are unrelated (Codenotary issues)

@frenck
Copy link
Member

frenck commented Mar 10, 2022

Oh right 👍

@pvizeli pvizeli merged commit 103da1b into master Apr 1, 2022
@delete-merged-branch delete-merged-branch bot deleted the Handle-supervisor-startup branch April 1, 2022 11:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Note in case of connection problem

4 participants