Dispõe sobre a ponto facultativo no dia comemorativo do servidor público, e dá outras providências. ”