PPL 0.11.2 has been released

This release fixes a few minor bugs of PPL 0.11.1. See the release notes for more information.