Personally, I'd mention it to the boss.
If nothing is done, not even a little talk to your "colleague", I'd take it further up the chain of command.
If nothing is done, not even a little talk to your "colleague", I'd take it further up the chain of command.
Dying to live, living to die.