[FYI] patch pushed (was: [PATCH] "Manual: be more agnostic w.r.t. version control system used.)

[Stefano Lattarini]

Hi Ralf.

To reduce the already too long patch queue a bit, I've reversed
the controversial change "cvs add" => "git add", and pushed.

Regards,
   Stefano