Highlights of the match between Gibraltar and Republic of Ireland which took place at Estadio Algarve
