Comment 8 for bug 612267

Revision history for this message
Benjamin Drung (bdrung) wrote :

linux-tools is definitively a better place for the script. One point of critique could be, that it's not installed on a standard system, but that applies to ubuntu-dev-tools too.