Improvements to #83 but not resolved
Work in progress but improvements are worth merging already
Maintenance on Friday 28.3. at 13:00. ETA 60 - 90 minutes.
Work in progress but improvements are worth merging already
Merge details
Mentions issue #83 (closed)
merged
mentioned in commit b8a6cfc6