Closes #1617 (closed)
changed milestone to %Arkindex 1.5.2
requested review from @babadie
assigned to @vrigal
added 3 commits
master
Compare with previous version
Tested locally on a fake large process.
merged