Summary of changes: c04155a... Initialize branch F-13 for dos2unix (*) 73593cf... dist-git conversion (*) 0374f03... Merge branch 'f13' into f14 (*) This commit already existed in another branch; no separate mail sent