On 2025-12-26 02:34, Martin Schanzenbach wrote:
This is obviously not intended and I do not even know how it can happen unless you actually rename the tarball after the make dist.As an exception, I reuploaded the tarball, now again signed with my key.
Don't do that (for the same version number). Andreas
