24 Jul
2023
24 Jul
'23
9:35 a.m.
Hi, Am Montag, dem 17.07.2023 um 10:58 +0100 schrieb Simon Peyton Jones:
I have made some clarifying suggestions but I'm broadly supportive.
so far only Simon and Arnaud have commented. Arnaud: could John address your remarks? Simon: John responded to your clarifying suggestions with “suggested edits” in the PR comments, and seems to be waiting for a 👍 from you. I plan to merge once Arnaud and Simon indicate that they are happy. Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/