Testing pb 727#18

RiccardoBarb wants to merge 2 commits intoASPP:masterASPP/2019-camerino-testing-debugging:masterfrom

RiccardoBarb:testing_pb_727RiccardoBarb/2019-camerino-testing-debugging:testing_pb_727Copy head branch name to clipboard