Skip to content

Conversation

@joehen
Copy link

@joehen joehen commented May 13, 2020

No description provided.

@joehen joehen requested a review from a user May 13, 2020 18:27
@ghost
Copy link

ghost commented Dec 10, 2020

The continuous-integration/jenkins/pr-merge tests were not successful. Fixed the bug, but accidentally made a mistake in the workflow, so unfortunately I opened a new pull request with you as the reviewer.

#17

@ghost ghost closed this Dec 10, 2020
This pull request was closed.
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