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