tree 2d24881c995284ecb39dc5508c5fa5d5fdebf4b3
parent 2aeab87cf7fb08c8882f275a2e2d507cd573921a
author Gilles Peskine <Gilles.Peskine@arm.com> 1579551463 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1580744093 +0100

Improve comments in mpi_shrink