Fixed that git diff displays deleted files as /dev/null (#11868).
Authored by: jplang 2012-09-18
Parent: [r10423]
Child: [r10425]