mmmaybe, but that would mean the diff algorithm is stupid, just adding the include above would have been enough…  Or maybe you changed it twice in different commits and GitHub has a hard time dealing with it?
Anyway, the relevant line content is the same so who cares.