Segundo o decreto presidencial 27/2017, enviado à agência Lusa, o Presidente da República tomou a decisão, depois de ouvido o Governo.
António Sedja Man foi nomeado Procurador-Geral da República a 21 de novembro de 2015.
O novo Procurador-Geral da República toma posse ainda hoje.