Use helper function to format timer lines

Branch: minor/tidy-print-timers

Branch: 8.1.1-RC

Merged

#575 · Created 2022-01-10 · Last updated 2022-01-12

Merged pull request

Merged in minor/tidy-print-timers (pull request #575)

1c4a3bf·Author: Peter Hill·Closed by: David Dickinson·2022-01-12

Description

0 attachments

0 comments

Loading commits...