Closed mvl22 closed 7 months ago
Sounds good. Will take a look on Monday most likely. Cc @mem48 do these look good to you?
This is clearly a good set of changes. Merging!
Note @mvl22 I've deleted the branch as general GitHub best practice, we already have too many branches!
This branch is for tweaks following the meeting.