Re: Reuse VM ids.

[Ori Bernstein]

On Mon, 8 Oct 2018 07:59:15 -0700, Bob Beck <b...@openbsd.org> wrote:

> works here and I like it.  but probably for after unlock
> 

It's after unlock -- pinging for OKs.

-- 
    Ori Bernstein