2018-10-10 - production
20:34 <thcipriani> upgrading ci jenkins install on contint1001 [production]