[klatexformula] (8 commits) ...Merge remote branch 'origin/f12/master'

[nucleo]

Summary of changes:

  eeb3a61... Initialize branch F-12 for klatexformula (*)
  b6be952... update to 3.1.2 (*)
  b9db2a2... Fix typo that causes a failure to update the common directo (*)
  31728d0... Initialize branch F-13 for klatexformula (*)
  9231e29... dist-git conversion (*)
  ecf7832... dist-git conversion (*)
  9770dad... Merge remote branch 'origin/f13/master'
  5b15314... Merge remote branch 'origin/f12/master'

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