La fondation Mozilla vient de publier une petite mise à jour pour Firefox 17. Cette mise à jour, estampillée 17.0.1, corrige certains problèmes avec des polices de caractères, et un bug dans l'User Agent, qui provoquait des problèmes en naviguant sur certaines sites.

Cette mise à jour est directement accessible depuis le menu 'A propos' du navigateur.