What we know about the Texas gunman

Devin P. Kelley, who authorities have identified as the shooter, was given a bad conduct discharge from the Air Force in 2014. (Nov. 7, 2017)

---