@Mattia, any other issue here? -- https://code.launchpad.net/~3v1n0/ubuntu-dev-tools/+git/ubuntu-dev-tools/+merge/401817 Your team Ubuntu Development Team is subscribed to branch ubuntu-dev-tools:master.