Attention une mise à jour du serveur va être effectuée le lundi 17 mai entre 13h et 13h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit 8fbb35bf authored by Davide Pala's avatar Davide Pala

Merge branch 'master' of

Removed unused variables in core pipeline stages
parents 2b7c3b21 560a5471
Pipeline #168732 passed with stages
in 6 minutes and 3 seconds
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment