A group of people gathered indoors and cheered happily.