Para alguns servidores públicos, principalmente do Executivo, esta sexta-feira, 13 de outubro, é feriado; para outros, como os do Judiciário, não.

Continua depois da publicidade