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.