Fin de support de l'authentification git SSH au 1er septembre 2025.
Merci de configurer vos clients pour passer en HTTPS : Utilisation de Git et Gitlab avec HTTPS
Menu fixes: post-edit callbacks; PID Ki and Kd display; pick up PID & Max Accel Changes