Dear PPL-devel subscriber,

This message is just to inform you that the PPL-devel mailing list has been migrated to a new Mailman installation: your subscription has been preserved. The new PPL-devel home is https://support.bugseng.com/cgi-bin/mailman/listinfo/ppl-devel Kind regards,