Replies: 1 comment
-
the PR got merged a while ago, closing. |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Duplicate of Issue #644 for better visibility in "discussions". Please delete if not needed. I wrote up a PR in #653. Also addresses #341 and #118.
Please review and merge, or discuss, or request edits at your leisure. Thank you :D
Beta Was this translation helpful? Give feedback.
All reactions