MySQL vient de publier quelques correctifs mineurs.

Cette version corrige quelques anomalies repérées sur la version précédente. Pas d'évolution majeure, donc.