Match official’s report to the Ireland team management was mentioned in the match official’s report to the Ireland team management