Closed gnidan closed 1 year ago
This PR has been hanging around for a while. IMHO it would make sense to take a decision merge it, if only so that changes can be proposed in bite-sized chunks that are more easily decided on.
I agree with @chaals to get this in and address changes incrementally.
Merging this now then :)
Addresses #5