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

[Jerry James]

Summary of changes:

  dc22dbe... Initialize branch F-12 for expatmm (*)
  729a7a6... Fix typo that causes a failure to update the common directo (*)
  67e563e... Initialize branch F-13 for expatmm (*)
  c69a5fe... dist-git conversion (*)
  8d10669... dist-git conversion (*)
  c2b5325... Merge remote branch 'origin/f13/master'
  48d30f9... Merge remote branch 'origin/f12/master'

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