Determina que se proceda à publicação do Diário da República no sábado dia 9 de maio de 2020 e no domingo dia 10 de maio de 2020, caso se verifique necessário