For information: considering that the messages were just sitting there using 30M+ of disk space for nothing, I disabled mail delivery of cvs-log for the mailboxes that are clearly not used. The mails have been moved to the homedirs of the respective users.
The users concerned are: uwestoehr, bpeng, joost I am contacting john spray, who is also subscribed on his lyx address to lyx-devel. JMarc
