On Tue, Sep 06, 2016 at 04:29:52PM +0200, Paolo Bonzini wrote: > Since you're walking the notifier list manually anyway, I think it's > simpler to get rid of Notifier completely. Otherwise, this looks pretty > good!
Yes that should be cleaner. Will fix. Thanks! -- peterx
