Véget ért az Afrika-szinódus