Merge proposals dependent on lp:~diodon-team/diodon/ppa-packaging

lp:~diodon-team/diodon/ppa-packaging has no merge proposals.