On Fri, Feb 19, 2016 at 8:15 PM, Fabio Alessandro Locati <[email protected]> wrote: > If Christopher will not respond, I can take care of: > snip > - rpms/tiptop -- Performance monitoring tool based on hardware counters
Hi Fabio, I'm already a co-maintainer on this one, I can take tiptop. Cheers, Dridi -- devel mailing list [email protected] http://lists.fedoraproject.org/admin/lists/[email protected]
