Update pipermail
Release 1.2.5