Closed thomas-fossati closed 7 months ago
Seems we're going with merged #45? Everybody actually happy with that? (non-blocking)
Seems we're going with merged #45? Everybody actually happy with that? (non-blocking)
Note that #45 has none of the editorial suggestions you provided in the review.
I guess you need to decide whether the current state of the section is acceptable or if you want to tweak it.
@henkbirkholz is this issue still valid? Or can it be closed?
Hearing no shouting I will close. @henkbirkholz, feel free to reopen if you think otherwise.
@henkbirkholz has the following comments regarding prose in §3.4: