Closed cpiment closed 6 months ago
Thank you for your submission! We really appreciate it. Like many open source projects, we ask that you sign our Contributor License Agreement before we can accept your contribution.
Please don't merge this as the commit has been made with a wrong user, sorry
Can the PR be erased?
Fixes bug reported by @vibe in #212
Thanks for the fix!