[websvn/f12/master] (7 commits) ...Merge branch 'master' into f12

[Xavier Bachelot]

Summary of changes:

  f4261be... Fix typo that causes a failure to update the common directo (*)
  d3fcafe... update to 2.3.1 (*)
  0791076... oops, forgot to upload new tarball (*)
  5271df5... dist-git conversion (*)
  9899a39... compatibility with selinux (*)
  6e8e6da... fix path in selinux scriptlet (*)
  0e60a58... Merge branch 'master' into f12

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