I was just about to say no one has more details, then I saw this:
JUST IN: Three arrested, one police vehicle damaged, and two officers suffered minor injuries during protest, Georgia Tech says in statement
— NBC News (@NBCNews) September 19, 2017
I guess I’ll find out more in the morning. Right now I am, to be honest, a bit relieved. It could have been worse.