On Friday, 1st August 9am, we will update GitLab to a new major version. A short downtime of GitLab itself or some of its services will be necessary.
this fixes problems related to gcc receiving semicolon-separated lists of parameters.
Pipeline #140712 passed
Pipeline passed for ac00c7f1 on bugfix/compilation_flags 2 years ago
Merge details
Pipeline #140800 passed
Pipeline passed for cecd9423 on develop 2 years ago
requested review from @toba
assigned to @chichi
assigned to @toba and unassigned @chichi
approved this merge request
mentioned in commit cecd9423
merged
