10.1.1

Nouveautés

• Vous pouvez désormais vous connecter avec votre compte GitHub.

Correctifs

• Correction de plusieurs problèmes connus de la version précédente.