Vincent Lefevre

Posts as vincent@vinc17.net.

messages

patches posted

threads started

2021

first message, Jan 15, 2021

Jun 19, 2026

since the latest message

Messages per year

The last 24 months

Recent emails

Jun 19, 2026Strange behavior of "git log" with file argument
Jun 8, 2026inconsistent order of --diff-algorithm variants in man pages
Jun 8, 2026Re: [BUG] "git diff --word-diff" gives a diff while they are only space changes
May 14, 2026Re: [BUG] "git diff --word-diff" gives a diff while they are only space changes
May 12, 2026Re: [BUG] "git diff --word-diff" gives a diff while they are only space changes
May 9, 2026Re: [BUG] "git diff --word-diff" gives a diff while they are only space changes
May 8, 2026Re: [BUG] "git diff --word-diff" gives a diff while they are only space changes
May 6, 2026[BUG] "git diff --word-diff" gives a diff while they are only space changes
Dec 16, 2022Re: git cherry-pick -x: missing blank line before the "cherry picked from commit" line
Dec 4, 2022Re: git cherry-pick -x: missing blank line before the "cherry picked from commit" line
Dec 2, 2022Re: git cherry-pick -x: missing blank line before the "cherry picked from commit" line
Dec 2, 2022git cherry-pick -x: missing blank line before the "cherry picked from commit" line
Feb 4, 2021Re: [PATCH] pager: exit without error on SIGPIPE
Feb 4, 2021Re: git fails with a broken pipe when one quits the pager
Feb 3, 2021Re: git fails with a broken pipe when one quits the pager
Feb 1, 2021Re: git fails with a broken pipe when one quits the pager
Feb 1, 2021Re: git fails with a broken pipe when one quits the pager
Feb 1, 2021Re: git fails with a broken pipe when one quits the pager
Feb 1, 2021Re: git fails with a broken pipe when one quits the pager
Jan 31, 2021Re: git fails with a broken pipe when one quits the pager
Jan 31, 2021Re: git fails with a broken pipe when one quits the pager
Jan 15, 2021git fails with a broken pipe when one quits the pager