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

[Axel Thimm]

Summary of changes:

  fa912dd... Initialize branch F-13 for nx (*)
  9e062f7... dist-git conversion (*)
  098e40a... Merging identical branches.

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