On Wed, Sep 24, 2025 at 04:04:53PM +0200, Bastian Germann wrote: > I have pushed the necessary changes to git and uploaded them to > DELAYED/10.
Thanks. Looks like I forgot to push my last upload (-2) to git, so I've merged your changes and pushed. There's a bit of duplicate history from the import you made, but that's fine. Feel free to expedite that upload (not sure how, though. is it possible to just reupload without --deferred?). -- Kind regards, Loong Jin
signature.asc
Description: PGP signature
