Ubuntu
ubuntu-dev-tools package

  1. Bug #194633
  2. Comment #1

Comment 1 for bug 194633

Revision history for this message
James Westby (james-w) wrote :

Hi,

The attached patch should fix this.

Thanks,

James