Michael Thomas had earned so much paid leave that he remained on the public payroll five months after his last day of work on Sept. 1, 2017.
Michael Thomas had earned so much paid leave that he remained on the public payroll five months after his last day of work on Sept. 1, 2017. Miami Herald file photo
Michael Thomas had earned so much paid leave that he remained on the public payroll five months after his last day of work on Sept. 1, 2017. Miami Herald file photo