https://gcc.gnu.org/bugzilla/show_bug.cgi?id=17239
--- Comment #5 from Jonathan Wakely <redi at gcc dot gnu.org> --- I don't know whether the underlying problem still exists with git. Does a 'git pull' write to the files it updates, or does it rename them, create a new file, and delete the old one? Would the latter have the same problem on cygwin?
