marcoslot Add a paxos_leave_group function to leave a Paxos group

Users who have contributed to this file

• marcoslot
• marcocitus