[PPL-devel] Re: GMP 4.2 release candidate available