Unneccessary (and since there are no other changes in the file across the pull-request, I guess it's also history-corrosion?