Skip to content

Conversation

@CasperN
Copy link
Collaborator

@CasperN CasperN commented Nov 17, 2020

@aardappel PTAL

@github-actions github-actions bot added the documentation Documentation label Nov 17, 2020
@CasperN
Copy link
Collaborator Author

CasperN commented Nov 18, 2020

#6014

@aardappel
Copy link
Collaborator

Otherwise LGTM, thanks!

@CasperN
Copy link
Collaborator Author

CasperN commented Nov 20, 2020

@dbaileychess can I get your LGTM too before I merge?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants