Closed Nickm615 closed 1 year ago
Which issue does this fix? Fixes #362
If no issue exists, what is the fix or new feature? Were there any reasons to fix/implement things that are not obvious?
Hey, @Nickm615 thanks for your PR :) We will look into it. :)
Motivation
Which issue does this fix? Fixes #362
If no issue exists, what is the fix or new feature? Were there any reasons to fix/implement things that are not obvious?
Checklist