I speak pretty fluent legal-ese, and I have to say that keeping any dislikes on a player's personal behavior to yourself is pretty bad to do in general. If you don't get that out in the open, the negative behavior is liable to continue in the future, and ultimately you prohibit the player/GM in question from growing.