Logo jenkins

Les 23 et 30 septembre, sortie des versions 1.483 et 1.484 de Jenkins. Des corrections de bugs, une prise en charge des liens symboliques et une restauration automatique des esclaves dès la disponibilité d'espace disque.

Pour l'intégralité des modifications, voir ici.