fixed in https://git.launchpad.net/~ddstreet/ubuntu-dev-tools/+git/ubuntu-dev-tools/commit/?id=4eb794e9f6760b5390e01df7b28088f22151f342
fixed in /git.launchpad. net/~ddstreet/ ubuntu- dev-tools/ +git/ubuntu- dev-tools/ commit/ ?id=4eb794e9f67 60b5390e01df7b2 8088f22151f342
https:/