Hi,

Another thing: in the future, please refrain from making only whitespace-related changes to a file. It clutters the history quite a bit, plus the next person who works on the file will very likely change the whitespace settings again. We're going to automate this in the future, but for now we're kindly asking people to refrain from doing this.

Thanks,
Bogdan