Skip to content

Conversation

@jstac
Copy link
Contributor

@jstac jstac commented Jan 26, 2022

In response to the comment of @alfredgalichon

@github-actions github-actions bot temporarily deployed to commit January 26, 2022 01:24 Inactive
@mmcky
Copy link
Contributor

mmcky commented Mar 21, 2022

@jstac are you happy for this to be merged?

@jstac jstac merged commit 8252769 into main Mar 21, 2022
@jstac
Copy link
Contributor Author

jstac commented Mar 21, 2022

Thanks @mmcky , done

@jstac jstac deleted the ot_update branch March 21, 2022 01:28
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