Merge proposals dependent on lp:~bac/charm-tools/proof-endpoint

lp:~bac/charm-tools/proof-endpoint has no merge proposals.