On Mon, Nov 30, 2020 at 3:04 PM Andrii Nakryiko
<[email protected]> wrote:
>
> No more holes, but the same overall size. Does that work?

Thanks. That's a good idea.

Reply via email to