[gnomint] (10 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 (*)
  7e3ccdd... Initialize branch F-13 for gnomint (*)
  61f0289... DSO build fix (*)
  dbfaebd... Bump release for DSO fix (*)
  4621c7a... dist-git conversion (*)
  1104fec... dist-git conversion (*)
  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