Hi Simon, On Thu, Dec 04, 2025 at 09:38:39AM +0100, Simon Josefsson wrote: > Erik Auerswald <[email protected]> writes: > > > I have just pushed the attached patch. > > Thank you! I pushed it to codeberg's main. Do you have a codeberg > account? At some point maybe we should switch over to codeberg fully.
No, I don't. Cheers, Erik
