Skip to content

Conversation

@ajanikow
Copy link
Collaborator

No description provided.

@ajanikow ajanikow force-pushed the feature/high_prio_plan branch from 5da6bf8 to 970a687 Compare August 19, 2021 07:25
Copy link
Contributor

@informalict informalict left a comment

Choose a reason for hiding this comment

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

LGTM

@ajanikow ajanikow merged commit ab9873d into master Aug 19, 2021
@ajanikow ajanikow deleted the feature/high_prio_plan branch August 19, 2021 08:21
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.

3 participants