[PPL-devel] [GIT] ppl/ppl(master): Reflected the changes in http://gcc.gnu.org/bugzilla /show_bug.cgi?id=8966