Merge branch 'da/mergetools-p4' into maint
authorJunio C Hamano <gitster@pobox.com>
Mon, 19 Nov 2012 03:31:40 +0000 (19:31 -0800)
committerJunio C Hamano <gitster@pobox.com>
Mon, 19 Nov 2012 03:31:40 +0000 (19:31 -0800)
"git mergetool" feeds /dev/null as a common ancestor when dealing
with an add/add conflict, but p4merge backend cannot handle it. Work
it around by passing a temporary empty file.

* da/mergetools-p4:
mergetools/p4merge: Handle "/dev/null"

Trivial merge