Pierre-Yves David  committed 0071322 Merge

merge with Arne changes

  • Participants
  • Parent commits 24943df, 240b379
  • Branches default

Comments (0)

Files changed (1)
 Make sure to pull lastest draft changeset before submitting new changeset.
+Pull-requests here are OK, too, though. But don’t expect to have the
+newest changeset without checking out the dev repo with the obsolete
+extension enabled.