[check] (7 commits) ...Merge remote branch 'origin/f12/master'

[Jerry James]

Summary of changes:

  957ee3a... Initialize branch F-12 for check (*)
  aa9675b... Fix typo that causes a failure to update the common directo (*)
  b4002d3... Initialize branch F-13 for check (*)
  eddef70... dist-git conversion (*)
  362e636... dist-git conversion (*)
  9f65b11... Merge remote branch 'origin/f13/master'
  d4ee357... Merge remote branch 'origin/f12/master'

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