Kollegin macht Stimmung

Ehrlich gesagt, ich würde es ignorieren und auch nicht dem Chef erzählen. Ich weiß nicht wie er tickt, aber ich kenne es von meinem Chef dass er mit den Kindereien seiner Mitarbeiter nichts zu tun haben möchte (und er ist wirklich super nett und umgänglich!). Man läuft dann Gefahr, dass der Eindruck erweckt wird, man könnte selbst nicht unterscheiden zwischen infantilen Spielchen und professioneller Zusammenarbeit.
Ich würde da versuchen drüber zu stehen, mich nicht provozieren lassen und dabei bleiben, dass du es gerecht fandest, falls das Thema nochmal aufkommt.