Gilmer Independent School District — school district in Gilmer, Texas