On Mon, Jun 15, 2020 at 12:36:45PM -0600, alan somers wrote:

Ignore the previous patch; it didn't update EXTRA_DIST. Use this one instead.

Thanks - pushed it. Rich. -- Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones Read my programming and virtualization blog: http://rwmj.wordpress.com virt-top is 'top' for virtual machines. Tiny program with many powerful monitoring features, net stats, disk stats, logging, etc. http://people.redhat.com/~rjones/virt-top