9 de Julho: feriado ou ponto facultativo?