Skip to content

GitLab

Explore

Sign in
Register

Merging develop into develop-nr

Review changes
Download
Patches
Plain diff

Merging develop into develop-nr

Florian Kaltenbergerrequested to merge

develop-nr-merge2 into develop-nr Nov 01, 2018

Overview 3
Commits 352
Pipelines 0
Changes 350

plus some other bug fixes

Merge request reports

Assignee Loading

Reviewers Loading

Request review from

Loading

Time tracking Loading

Loading