Commit 9c12addf by Florian Fritz

Merge branch 'timing_helpers' into 'master'

Merge: Timing Helpers

See merge request !5
parents 72bffbb1 76f1622e
Pipeline #1140 passed with stages
in 3 minutes 25 seconds