Re: [PATCH] doc: lei-rediff: grammar fixes for --drq and --dequote-only

[Eric Wong]

Thanks, pushed as commit 3dbd6dc31dd7e34bea87dbb626f811e093b6860b
--
unsubscribe: one-click, see List-Unsubscribe header
archive: https://public-inbox.org/meta/