Closed martinthomson closed 1 year ago
Based on discussion at the 2023-03-23 meeting. This was what was discussed and (I believe) agreed. Let's talk about the exact choice of words.
Closed with #39.
Based on discussion at the 2023-03-23 meeting. This was what was discussed and (I believe) agreed. Let's talk about the exact choice of words.