Ubuntu
linux package

  1. Bug #1671917
  2. Comment #3

Comment 3 for bug 1671917

Revision history for this message
Joseph Salisbury (jsalisbury) wrote :

Sorry about that. The tools .deb should be there now.