This is just my opinion.

I put myself in the other person's shoes. I wouldn't want to know if someone else knows my therapist. Personally, I'm very protective of my relationship with her. I don't let her share anything about her other clients, even in general.

I also don't think you need to leave unless it's bothering you.