Summary of changes: ad47ced... Initialize branch F-13 for synaptic (*) 91e9704... dist-git conversion (*) 618defa... Merging identical branches. (*) This commit already existed in another branch; no separate mail sent