reset the timer also on non-root MPI processes#1787

Merged

sloede merged 2 commits intomainfrom hr/reset_timer

Dec 24, 2023

+7-1

Commits on Dec 20, 2023

reset the timer also on non-root MPI processes
ranocha
committed

Commits on Dec 24, 2023

Merge branch 'main' into hr/reset_timer
sloede
authored