Re: [PPL-devel] PPL 0.12 bug reporting