+1
−1
.jenkins.sh
0 → 100644
+44
−0
+9
−11
+1
−8
Loading
WARNING! Gitlab maintenance operation scheduled for Monday, 20 April between 12:00 and 14:00 (CET). During this time window, short service interruptions (less than 5 minutes) may occur. Thank you in advance for your understanding.
Merge "3.3.1 dev" into "release 3" master See merge request !199