Compare commits

merge into: stud143657:main

Branches Tags

stud143657:main

stud159741:main

stud159741:stud159741-patch-1

stud159741:master

...

pull from: stud159741:main

Branches Tags

stud159741:main

stud159741:stud159741-patch-1

stud159741:master

stud143657:main

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