Sorry for this re-tag, it isn't a real change. My original signed tag pointed to an unsigned tag pointing to the actual release commit. The new signed tag points to the same commit directly. -- Feri