[PPL-devel] [Fwd: GMP 4.1.2 available]