[PPL-devel] [GIT] ppl/w3ppl(master): Added release of 0.10.2 to the news.