tree 34d45734f487df715c7f476097ebbf554ec50005
parent db42062cb95e7928c101d401f7ec55ebf5ec0391
author Gilles Peskine <Gilles.Peskine@arm.com> 1579551463 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1579551463 +0100

Improve comments in mpi_shrink