Fix for the specific problem of repository formats has been merged. As Martin says I'll open a bug for the other formats.
Fix for the specific problem of repository formats has been merged. As Martin says I'll open a bug for the other formats.