Concessão de férias depende de real prestação do serviço

Foi observado, no entanto, que o período do afastamento poderia ser computado para fins previdenciários, o que, todavia, não era o objeto do mandamus.