Skip to content

Conversation

eturquin
Copy link
Contributor

@eturquin eturquin commented Feb 4, 2021

Changes discussed in github.com//pull/3292
Very minor, can be merged directly.

@github-actions
Copy link

github-actions bot commented Feb 4, 2021

It appears that you made a non-draft PR!
Please convert your PR to draft (button on the right side of the page)
and cancel any jobs that started on Yamato.
See the PR template for more information.
Thank you!

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.

2 participants