carta

MPI_File_set_size(3) on Linux

The text 23e48688e085, as Debian 10 (Buster) shipped it.

Sets the file size

MPI_File_set_size(3) on Linux now