O Dia do Servidor Público, comemorado no próximo dia 28 de outubro, gera dúvidas sobre sua classificação. Afinal, é feriado…