Texas Department of Public Safety

Tyler Robinson, a 22-year-old man, has been formally charged in connection with the shooting...