Skip to content

Conversation

@deining
Copy link
Contributor

@deining deining commented Sep 28, 2020

This PR supersedes #1189

@remkop remkop merged commit b1d6b9c into remkop:master Sep 28, 2020
@remkop
Copy link
Owner

remkop commented Sep 30, 2020

Merged and published the rendered HTML.
Thank you for the contribution!

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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants