Portaria da PR/AL transfere o feriado do Dia do Servidor para o dia 31 de outubro