Skip to content

Conversation

@teubert
Copy link
Contributor

@teubert teubert commented Jan 27, 2020

No description provided.

@teubert teubert requested a review from jason-watkins January 27, 2020 19:52
@teubert teubert added E: Easy Call for participation: Experience needed to fix: Easy / not muchEffort PR: Merge The PR should be merged as soon as all checks have passed. labels Jan 27, 2020
@jason-watkins jason-watkins merged commit 9affcb5 into develop Jan 27, 2020
@jason-watkins jason-watkins added A: Documentation Area: Documentation. Any work that deals with documentation or examples C: Bug Category: An issue reporting a bug in the project S: Merged Status: The PR has been merged labels Jan 27, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

A: Documentation Area: Documentation. Any work that deals with documentation or examples C: Bug Category: An issue reporting a bug in the project E: Easy Call for participation: Experience needed to fix: Easy / not muchEffort PR: Merge The PR should be merged as soon as all checks have passed. S: Merged Status: The PR has been merged

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants