[R-Rsolid/f14/master] (6 commits) ...New upstream bugfix release

[verdurin]

Summary of changes:

  d5d30e5... Initialize branch F-13 for R-Rsolid (*)
  7326a5a... Initial import (*)
  aa6d657... dist-git conversion (*)
  c7a7b59... Update to 0.9-3 upstream bugfix release (*)
  ac78254... Merge remote branch 'origin/f13/master' (*)
  bd298d6... New upstream bugfix release

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