Oh, ok, let me clarify some things:
I didn’t exactly told him, but we already had a friendly (really, friendly) discussion about another subject, so the main fear is to tone down the mood of the group. I was going to tell him, but I gave up thinking about this.
However, if he does know it, then...