[smart/f12/master] (6 commits) ...Merge branch 'f12' into f13

[Axel Thimm]

Summary of changes:

  6bb31da... Fix typo that causes a failure to update the common directo (*)
  d4c966a... Update to 1.3. (*)
  72247bf... Add forgotten desktop file. (*)
  969a4bc... Initialize branch F-13 for smart (*)
  fe86501... dist-git conversion (*)
  a57867a... Merge branch 'f12' into f13 (*)

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