Thanks CharmingShrimp37 !
Could you PR the fix ?
It will be just in time for the 0.16 release 🙂
AgitatedDove14 I would like a little help in the PR. I checkout to a new branch, made the changes but I can't push it to the remote repo. What do I need to do now?
Hi CharmingShrimp37
Go to Github to your newly forked repo, you should have a green button suggesting to take your branch and making it a PR. It is that simple 🙂