Merge proposals dependent on lp://staging/~zeller-benjamin/ubuntu-sdk-ide/fixes3

lp://staging/~zeller-benjamin/ubuntu-sdk-ide/fixes3 has no merge proposals.