DD1 (5) has come home today saying she was crying at lunchtime because a girl she doesn't really play with was pulling her hair and another girl who she does play with was hitting her. She says she hit her back but was hit again so told playground assistant (who I know) who told them to play nice. This was apparently because she was sticking up for one of her other friends who was being picked on. I know the mother of the girl who hit and we do go out etc, the other mother I know but we only really say hi. Do I mention anything i.e. send text saying 'I hear our DD's had a bit of a fisticuffs at lunchtime' or do I just leave it or do I mention it to the school who presumably already know. This is the first time this sort of thing has happened to her so i'm a little upset for her though I know she's going to have many other trials and tribulations in life. Don't want to handle it wrongly and look stupid IYKWIM.