[rcssserver3d/f14] (5 commits) ...Merge branch 'f15' into f14

[Hedayat Vatankhah]

Summary of changes:

  db0f5c9... Add a fix in rule enforcement code (upstream) (*)
  6d33b4b... Updated spec for the new release (*)
  e90cfad... Merged with master: new patch for rules (*)
  f37c7db... Bumped to 4 release as the 3rd one cannot be built (*)
  4bd0866... Merge branch 'f15' into f14

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