Salvatore Bonaccorso <carnil@debian.org>: > I'm closing this bug now as I think it's not anymore relevant in this > outlined form. But please let me know if you disagree. Why do you believe so? Did anything change, other than renaming linux-tools to linu-perf?