Jose Gracia ca0b9964f7 Disable recording of events for MPI_Comm_{size,rank}, etc		2024-01-15 09:13:34 +01:00
..
share	Disable recording of events for MPI_Comm_{size,rank}, etc	2024-01-15 09:13:34 +01:00