- remove obsolete import of format_time - fix commit message Change-Id: Ie3a03694c5a40a0f3b86b2902a435131fd75e051 Reviewed-on: https://forge.frm2.tum.de/review/18191 Tested-by: JenkinsCodeReview <bjoern_pedersen@frm2.tum.de> Reviewed-by: Markus Zolliker <markus.zolliker@psi.ch>