Summary of changes: 489d602... dist-git conversion (*) a01f877... - 4.6 (*) 5c26169... Initial pseudo merge for dist-git setup (*) This commit already existed in another branch; no separate mail sent