Skip to content

Conversation

@qbonnard
Copy link

@qbonnard qbonnard commented May 9, 2020

No description provided.

@qbonnard qbonnard marked this pull request as draft May 9, 2020 20:50
@qbonnard qbonnard requested a review from crohr May 9, 2020 20:52
@pullpreview pullpreview deleted a comment from qbonnard May 11, 2020
@crohr
Copy link
Member

crohr commented May 13, 2020

Closing for now.

@crohr crohr closed this May 13, 2020
@crohr crohr deleted the check-licence branch May 13, 2020 11:46
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