Échec de la mise à niveau : bug Docker Manager ?

[gerhard (Gerhard Schlager)]

Merci d’avoir signalé cette régression. Elle est maintenant corrigée.