Commit e87e7178 by Ralf Jung

stop timing 8.7.2 (to save some time on the timing runner)

parent 89760032
Pipeline #9230 failed with stage
in 22 minutes 50 seconds