Re: [Mpi-forum] 2ND VOTE: #171 "change MPI_C_BOOL external32 size to 1 byte"