Closed michaelkleber closed 11 months ago
Thanks @martinthomson, well said.
@AramZS or @seanturner Can you apply the "Call For Consensus" label to these PRs that document the tentative consensus from the face-to-face meeting? Or is there another step first?
Hey, sorry I was out on vacation during the recent PATCG meeting, but how can we push this PR forward?
As discussed, these PRs have been open long enough to acquire consensus that they accurately describe our conversations.
Draft write-up based on our discussion at the London face-to-face meeting on 2023-06-15.