Compare Git revisions

To see what's changed or create a merge request, choose a branch or tag (like 15.1-thm ), or enter a commit (like 4eedf23 ).
Changes are shown as if the source revision was being merged into the target revision.