On Fri, Apr 14, 2023 at 05:58:37PM +0000, Philippe Blain via GitGitGadget wrote: > Closes: https://github.com/gitgitgadget/git/issues/1471 Neat. This does close the corresponding issue once the result gets pushed back to gitgitgadget/git. TIL! > --- > Documentation/git-diff.txt | 8 +++++++- > Documentation/git-merge.txt | 9 +++++++-- > Documentation/revisions.txt | 6 +++++- > Documentation/user-manual.txt | 27 +++++++++++++++++++++++++++ > 4 files changed, 46 insertions(+), 4 deletions(-) These changes all look great to me, well written and explained. Thanks, Taylor
