Outside, a group of people waved their arms and sang as they celebrated.