[PPL-devel] CVS config messages

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.