Ubuntu
ubuntu-dev-tools package

  1. Bug #797170
  2. Comment #1

Comment 1 for bug 797170

Revision history for this message
Stefano Rivera (stefanor) wrote :

didrocks already committed a fix for this. I'll mention this bug in the changelog.