Maintenance operation of our GitLab server is scheduled for Tuesday, December 5th at 2PM. The server will be unavailable for about 2 hours.
Incomplete version before merge with new develop-nr
