[ricci/f13/master] (10 commits) ...Initial pseudo merge for dist-git setup

[Fabio M. Di Nitto]

Summary of changes:

  400fa26... Initialize branch F-12 for ricci (*)
  3eab6ec... Fix typo that causes a failure to update the common directo (*)
  c5fb031... - Don't update the cluster version via cman_set_version (*)
  31d6358... - Add a ricci function to set the cluster version, as it's  (*)
  1f39585... Return the proper exit status from the ricci init script wh (*)
  41b48a3... - fix bz525729 (*)
  bd0f4e5... Exit with a non-zero status if errors occur while distribut (*)
  a569c4c... dist-git conversion (*)
  68793e0... dist-git conversion (*)
  6778685... Initial pseudo merge for dist-git setup (*)

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