[gnomint/f13/master] (11 commits) ...Merge remote branch 'origin/f12/master'

[verdurin]

Summary of changes:

  2743020... Initialize branch F-12 for gnomint (*)
  2e8f059... Fix typo that causes a failure to update the common directo (*)
  e23b68f... Update for upstream 1.1.0 release (*)
  61f0289... DSO build fix (*)
  dbfaebd... Bump release for DSO fix (*)
  1104fec... dist-git conversion (*)
  37ec490... dist-git conversion (*)
  3f6073f... New upstream release and spec cleanups (*)
  758c1c0... New upstream release (*)
  3240e20... Merge remote branch 'origin/f13/master' (*)
  a10e6d3... Merge remote branch 'origin/f12/master' (*)

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