Public employee headcount for the City of Dallas, TX. 2015 budget #muniland