Quais são os feriados facultativos?

01 de abril: (ponto facultativo); 03 de junho: Corpus Christi (ponto facultativo); 28 de outubro: Dia do Servidor Público, a ser comemorado no dia 1º de novembro (ponto facultativo); 24 de dezembro: Véspera de natal (ponto facultativo após às 14 horas);