On Thu, Oct 03, 2024 at 01:08:46PM +0200, a...@dismail.de wrote:
Done: https://github.com/dillo-browser/dillo/pull/265
Thanks!, merged in: To github.com:dillo-browser/dillo.git e7fee996..9880c1ba master -> master Best, Rodrigo. _______________________________________________ Dillo-dev mailing list -- dillo-dev@mailman3.com To unsubscribe send an email to dillo-dev-le...@mailman3.com
