18 Mar
2023
18 Mar
'23
11:14 a.m.
On Thu, Mar 16, 2023, at 09:59, Joachim Breitner wrote:
#540: jsem parallelism semaphores, Shepherd: Eric 2022-11-08: Assigned to Adam 2022-11-17: Re-assigned to Eric 2023-02-12: Eric recommends acceptance Lots of discussion on the list and on Github. Is this near conclusion, or should it go back to revision?
I think this one is basically good to merge. Simon PJ had asked for a couple clarifications to the text, which the authors just did. I'll pinged Simon just now to review the edits, and then we should be set.