Compare commits

merge into: stud126792:master

Branches Tags

stud126792:master

stud126797:master

...

pull from: stud126797:master

Branches Tags

stud126797:master

stud126792:master

These branches are equal. There is no need to create a pull request.