On Fri, Feb 19, 2016 at 8:15 PM, Fabio Alessandro Locati <fabioloc...@gmail.com> 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 devel@lists.fedoraproject.org http://lists.fedoraproject.org/admin/lists/devel@lists.fedoraproject.org
