Anyone got an idea what went wrong with
this pull request? I just added three lines, but according to github I added 757 and deleted 754, which makes it almost impossible to see the actual changes. This is a PR on AutoReviewComments, to stop it running in chat