[automaton] (9 commits) ...Merge remote branch 'origin/f12/master'

[Jerry James]

Summary of changes:

  bb1ed0a... Initialize branch F-12 for automaton (*)
  2c9291f... Fix typo that causes a failure to update the common directo (*)
  b38267b... Initialize branch F-13 for automaton (*)
  2ef360a... - Upgrade to 1.11-3 (*)
  9f4a3ee... - Upgrade to 1.11-3 (*)
  4d5e66e... dist-git conversion (*)
  f475dc7... dist-git conversion (*)
  d72b5f5... Merge remote branch 'origin/f13/master'
  7eda803... Merge remote branch 'origin/f12/master'

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