On Thu, Jun 11, 2020 at 3:13 AM Thomas Munro <thomas(dot)munro(at)gmail(dot)com> wrote:
> It's only comments, but it'd still be good to get some review since
> it's essentially describing the relevant contract. Here's what I came
> up with.
LGTM.
--
Peter Geoghegan