StarPU 1.4.2


New release of StarPU 1.4.2 is out !