Paul Howarth wrote: > No changes: the heads of the f12, f13, f14 and master branches all > point to the "dist-git conversion" commit. In case it matters, these branches point to two completely separate commits; f12 has an entirely different history from f13, f14, and master as far as git is concerned. -- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel
