I thought the 1.10 branch had been fixed to use clock_gettime for MPI_Wtime where it's available, a la https://www.open-mpi.org/community/lists/users/2016/04/28899.php -- and have been telling people so! However, I realize it hasn't, and it looks as if 1.10 is still being maintained.
Is there a good reason for that, or could it be fixed?
