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