Apparently no one injured, only the shooter is dead.
22 years old, WTF?? What was his motivation? (as if we'll ever be accurately informed)
https://www.dallasnews.com/news/crime/2019/06/17/shots-fired-federal-courthouse-downtown-dallas
https://pbs.twimg.com/media/D9RrmD7WwAYqG0a.jpg