[PPL-devel] New version of CVS

Version 1.11.17 (client/server) of CVS has been installed on both cvs.cs.unipr.it and sandbox.cs.unipr.it. This, in turn, required the upgrade of cvsweb on www.cs.unipr.it to version 3.0.2.

If you spot any anomaly, please let me know immediately.

Please, consider upgrading your local CVS installation to the same version: go to http://www.cvshome.org. For those of you with ix86 GNU/Linux distributions that use RPM packages: here is what you need:

https://ccvs.cvshome.org/files/documents/19/360/cvs-1.11.17-1.i386.rpm

Cheers,

Roberto