The Tyler Independent School District Board of trustees voted 7-0 to move forward with changing the names of both Robert E. Lee and John Tyler high schools on Thursday, July 16, 2020.

People on both sides of the name change issue protested outside of the meeting and spoke to board members.