Merge branch 'bugfix/compilation_flags' into 'develop'
1 related merge request: !48 merge develop
branch
8 jobs
19 minutes 32 seconds, queued for 2 seconds
Beginning with 2nd June, only the "Single Sign On" option for login to the GitLab web interface will be possible. If you don't have an MPCDF wide second factor so far, please get one at our SelfService (https://selfservice.mpcdf.mpg.de). The GitLab internal second factor will not work.