[josm/f12/master] (8 commits) ...Update to 3514 svn revision

[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 (*)
  568e016... Merge branch 'master' into f12
  5466646... Update to 3514 svn revision

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