Merge branch 'pw/diff-no-index-from-named-pipes'
commit7435d51bfd183d2f6fd9fc9fc20a11d413d152ac
authorJunio C Hamano <gitster@pobox.com>
Wed, 20 Sep 2023 17:44:57 +0000 (20 10:44 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 20 Sep 2023 17:44:57 +0000 (20 10:44 -0700)
tree98785528cc68ed2331c53be4a59c157c5b72cbf1
parentd4a83d07b8cc66d4afac2f33a8af729f2ba93bba
parent48944f214c7cd7402e70e661cf9efb8dd118fe0c
Merge branch 'pw/diff-no-index-from-named-pipes'

"git diff --no-index -R <(one) <(two)" did not work correctly,
which has been corrected.

* pw/diff-no-index-from-named-pipes:
  diff --no-index: fix -R with stdin
diff-no-index.c