[Vm-dev] VM Maker: VMMaker.oscog-dtl.3123.mcz

[David T. Lewis]

On Fri, Apr 08, 2022 at 03:17:45PM +0200, Marcel Taeumel wrote:
>  
> Ah! save-and-quit will do the trick. Nice. Let me merge??VMMaker.oscog-dtl.3123 and see whether I can make this work.
> 

@marcel it would be VMMaker.oscog-dtl.3124 for the final version that includes
Eliot's suggestions, plus some new tests and a bug fix exposed by the tests.

@eliot do you agree that VMMaker.oscog-dtl.3124 should be merged from inbox
into VMMaker.oscog?

Dave