[omping] Deleting omping@lists.fedorahosted.org
This list, omping(a)lists.fedorahosted.org, has been dormant for
a long time. I will be deleting the list. Archives will still remain
available AFAICT. Any questions can be filed as github issues
https://github.com/jfriesse/omping
Thanks,
Honza