Closed marknn3 closed 9 months ago
Thank you. I will soon review the Issues posted by Knobibrot and your fix.
Thank you for the contribution. I am merging this.
@marknn3 can you change the PR branch to dev from master. Thanks.
There seems to be a GitHub bug. (At least on mobile) I am unable to change the base to dev when I try to change it:
Will try later on desktop.
Oh it could be because I already merged in Dev and pushed. No worries, don't bother. I eill close it manually.
This will fix issue #142