Re: [PPL-devel] checking for version 0.10 of PPL... no