Ubuntu
ubuntu-dev-tools package

  1. Bug #1860456
  2. Comment #24

Comment 24 for bug 1860456

Revision history for this message
Mattia Rizzolo (mapreri) wrote :

Sure, having reviewed now what was merged I'd say I have nothing to complain about :)

Thank you for your work, and sorry for lagging behind!