sync

[phoddie]

No description provided.

[mhofman]

Thanks for these update.

We're now using an Agoric branch as our main, but I think it'd be a good idea to keep using the master branch to track your upstream changes. That said, to ease the integration into our Agoric branch, I would like to merged these commits from the master branch incrementally. However right now I couldn't do this because some bug fixes and improvements I'd want to include first are layered after the new feature enablements that were added more recently and that we haven't been able to upgrade to yet.

Is there any chance you could interactive rebase these to re-order them? In particular could you move the commits named "canonical NaN and keys garbage colleciton" at the end, maybe with "fxUseSnapshot" just before them?

[mhofman]

Commit says "mxInstrument must be undefined to disable", but isn't that what -U makes explicit?

[phoddie]

I just misread the -U as another -D.

[phoddie]

Is there any chance you could interactive rebase these to re-order them? In particular could you move the commits named "canonical NaN and keys garbage colleciton" at the end, maybe with "fxUseSnapshot" just before them?

That likely exceeds my git skills. I don't want to make a mess of things. If you can to provide the command(s) to get the result you want, I can try that.