[spring] (7 commits) ...Merge remote branch 'origin/f13/master'

[Aurelien Bompard]

Summary of changes:

  db9052b... Initialize branch F-13 for spring (*)
  851f98d... - New release: 0.81.2 (*)
  1b9e5da... - New release: 0.81.2.1 (bugfix) (*)
  28ed178... Forgot to commit new sources (*)
  a1c826d... - Fix DSO linking issue with dlopen - bz565103 - Package ma (*)
  a97fd51... dist-git conversion (*)
  4a1f282... Merge remote branch 'origin/f13/master'

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