Skip to content

Conversation

@pnhofmann
Copy link

No description provided.

@AndreMiras
Copy link
Member

Thanks for the PR!
I've restarted the build as it seemed to failed for unrelated reason. Let's see how it goes.
Contribution tip: you can reference the task your are solving in your commit message (or body) e.g. adding "fixes #1130" at the end

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