[naev-data/f17] (4 commits) ...Merge branch 'HEAD' of ssh://jdieter at pkgs.fedoraproject.org/naev-data

[Jonathan Dieter]

Summary of changes:

  d12b2d8... Add data files for 0.5.3 (*)
  9422f35... Merge branch 'master' of ssh://pkgs.fedoraproject.org/naev- (*)
  bffbd3f... Update to 0.5.3 - with new missions and bugfixes (*)
  7464729... Merge branch 'HEAD' of ssh://jdieter@pkgs.fedoraproject.org (*)

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