On Mon, Nov 30, 2020 at 3:04 PM Andrii Nakryiko <andrii.nakryiko@xxxxxxxxx> wrote: > > No more holes, but the same overall size. Does that work? Thanks. That's a good idea.
On Mon, Nov 30, 2020 at 3:04 PM Andrii Nakryiko <andrii.nakryiko@xxxxxxxxx> wrote: > > No more holes, but the same overall size. Does that work? Thanks. That's a good idea.