Listener dilemma: Bullying in the workplace

We're talking about bullying in the workplace. We got a message from a person who is being bullied and has highlighted it with their boss and nothing is happening. What advice would you give this person?

See omnystudio.com/listener for privacy information.