Re: [PPL-devel] PPL v0.11.2 test failure