Re: [PATCH] lei rediff: handle stdin like other commands

[Eric Wong]

Thanks, pushed your 3 patches as:

8cc23ac6 lei rediff: handle stdin like other commands
2c1cbdc7 lei rediff: mark --color-moved value as optional
1110da3e lei_input: drop misplaced word from error message
--
unsubscribe: one-click, see List-Unsubscribe header
archive: https://public-inbox.org/meta/