Merge proposals

Christian Cachin has no merge proposals.