Merge proposals dependent on lp:ubuntu/trusty/coin3

lp:ubuntu/trusty/coin3 has no merge proposals.