Very well, if nobody objects by the end of the week, I'll make this decision final.

On Tue, Jul 5, 2022 at 4:59 PM Richard Eisenberg <lists@richarde.dev> wrote:

On Jul 5, 2022, at 2:58 AM, Spiwack, Arnaud <arnaud.spiwack@tweag.io> wrote:

Richard, do you agree?

Yes, if the committee wishes to accept the proposal without the "let" bits, I'll remove them and move them to a separate proposal. But I would be dismayed if I do this work and then have the committee not accept or ask for yet another restructuring of this.

Richard