Closed nodh closed 1 week ago
What do you think, is this worth it?
See also https://github.com/a-sit-plus/signum/pull/181
I think it is worth it! I'll review tomorrow
Got merged into develop
develop
What do you think, is this worth it?
See also https://github.com/a-sit-plus/signum/pull/181