[Dillo-dev] Re: [PATCH] Minor wording change in doc/user_help

Hi, On Mon, Jul 13, 2026 at 04:51:42PM +0200, Rodrigo Arias wrote:

Hi,

Thanks, I'll wait a bit in case you find more typos/wording issues so we can just merge all of them in one commit.

Merged here: https://git.dillo-browser.org/dillo/commit/?id=6e72e11d0af684317cdb69b944db5... Best, Rodrigo.