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/
- [PATCH] lei rediff: handle stdin like other commands Kyle Meyer
- Re: [PATCH] lei rediff: handle stdin like other commands Eric Wong
