Merge proposals dependent on lp:ubuntu/trusty-proposed/coin3

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