Outside, a group of people were waving their hands and carrying banners to celebrate.