Summary of changes: 866e3f9... Initialize branch F-13 for valknut (*) cd96af0... dist-git conversion (*) 691d01f... Merge remote branch 'origin/f13/master' (*) This commit already existed in another branch; no separate mail sent