[josm/f13/master] (8 commits) ...Merge branch 'master' into f13

[Cédric OLIVIER]

Summary of changes:

  b6ae2bb... *** empty log message *** (*)
  ba4530d... *** empty log message *** (*)
  d32074b... *** empty log message *** (*)
  f66079d... *** empty log message *** (*)
  12abc8a... Update to 3376 svn revision (*)
  56a3faa... dist-git conversion (*)
  7fb2ad7... Update to 3514 svn revision
  a72e697... Merge branch 'master' into f13

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