Skip to content

Merge main into v1 - #508

Merged
hmakholm merged 3 commits into
v1from
update-v1-79c79f1b
May 19, 2021
Merged

Merge main into v1#508
hmakholm merged 3 commits into
v1from
update-v1-79c79f1b

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

Merging 79c79f1 into v1

Conductor for this PR is @hmakholm

Contains the following pull requests:

@edoardopirovano edoardopirovano left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

LGTM

@hmakholm
hmakholm merged commit 88f6e15 into v1 May 19, 2021
@hmakholm
hmakholm deleted the update-v1-79c79f1b branch May 19, 2021 13:11
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.

2 participants