Re: [PATCH] doc: drop a repeated word

[Eric Wong]

Applied, thanks :>
--
unsubscribe: meta+unsubscr...@public-inbox.org
archive: https://public-inbox.org/meta/