On Wed, Feb 20, 2019 at 09:27:06 -0800, Richard Henderson wrote: > Thanks for the patience. Both Alex and I have now completed review, and I > think this is ready for merge. > > There are some patch conflicts with master, so if you can fix those and post a > v7, we'll get it merged right away.
Thanks for reviewing! Will send a v7 in a few days.
Emilio
