[chrpath] (3 commits) ...Merging identical branches.

[Axel Thimm]

Summary of changes:

  9b23daa... Initialize branch F-13 for chrpath (*)
  6a0ef5e... dist-git conversion (*)
  38af619... Merging identical branches.

(*) This commit already existed in another branch; no separate mail sent