Re: [PATCH] doc: lei-forget-search: fix option name in --prune description

[Eric Wong]

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