A group of people gathered outside, waving flags and singing songs.