[PPL-devel] CVS config messages

[Axel Simon]

Roberto,

Most of the messages which are sent to the ppl-devel list are cvs commit
messages which are not relevant to most users of the PPL. I think it's
nice to see the occasional message about who uses the PPL for what purpose
and what problems arise which is why don't want to unsubscribe. But to 
reduce the amount of mails, could you create a separate ppl-commit list 
and redirect the CVS messages to that list?

Thanks,
Axel.