On Tue, Feb 04, 2025 at 10:59:14PM +0100, Rodrigo Arias wrote:
Thanks, they look good. I will merge it with the corrections below [...]
Merged: https://github.com/dillo-browser/dillo/commit/6cd133d2f242d36bd48ddea44acd868f70782d0b
Best, Rodrigo. _______________________________________________ Dillo-dev mailing list -- dillo-dev@mailman3.com To unsubscribe send an email to dillo-dev-le...@mailman3.com