GitLab update scheduled for Friday, December 10th between 08:15 and 08:45 CEST. If unpleasant, please contact René or Martin.

Compare Git revisions

Choose a branch/tag (e.g. dev ) or enter a commit (e.g. 4eedf23 ) to see what's changed or to create a merge request.
Changes are shown as if the source revision was being merged into the target revision.