Summary of changes: cc6243a... Initialize branch F-13 for extrema (*) e47d932... Sync with rawhide. (*) 5033620... dist-git conversion (*) 104a0fb... - 4.4.5 (*) 95c89e4... Initial pseudo merge for dist-git setup (*) (*) This commit already existed in another branch; no separate mail sent