Toxicity or Trolling - Did I do the right thing?
I was playing a normal blind game and my team was having fun.
My Team comp
Top -
, Duo Mid -
, Bot -
, JG -
( Me),
Enemy Team comp
Top-
, Mid -
, Bot -
, JG - 
As you can see, mid was kinda trolling yet having fun. Game lasted ~45 mins and at the end
had 39/8. Which I think is primarily becuz I being only ADC and bard was awesome.
Here comes the bad part, after game was over kog started verbal abuse, spamming. At first I thought she/he was being a sore loser. Player just kept on saying shit and said we should all die ( many time) and tonight. He went on say how Yi is shit, how he gets banned in ranked blah blah.
I was really disturbed, annoyed and also surprised that losing a game would make a person so salty and toxic. I checked that players profile and seems to be a friend one... yet the level toxicity is surprising.
I decided to report and did report the player.
Did I do the right thing or should have just let it go?