Iran says it executed nine militants of the Islamic State group detained after a 2018 attack. The Iranian judiciary’s Mizan news agency announced the executions Tuesday.

Several people were killed at a school in the Austrian city of Graz on Tuesday, authorities said. Police said they deployed to the school after shots were heard there.