Compare commits

merge into: elliot:master

Branches Tags

elliot:master

William278:log-extra-problems

William278:master

...

pull from: William278:master

Branches Tags

William278:log-extra-problems

William278:master

elliot:master

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