Closed fippu82 closed 4 months ago
You can close this. Duplicate of #162
@incpi yeah, I mistakenly did both changes in the same branch. Should have created two branches. But I'd like to keep this one for documentation purposes. And the other PR contains one more commit. Shouldn't hurt when both get merged.