Fix regex match_time output

[andrewisplinghoff]

Change Description

The microseconds were output incorrectly before (missing leading zeros). Also, seconds was used instead of total_seconds (should be irrelevant in practice, though).

Checklist

• I have reviewed the contribution guidelines
• I have signed the CLA (if required)
• My code includes unit tests
• All unit tests and lint checks pass locally
• My PR contains documentation updates / additions if required

[omri374]

/azp run

[azure-pipelines]

Azure Pipelines successfully started running 1 pipeline(s).

[omri374]

Hi @andrewisplinghoff, thanks for this fix. In order to accept it, would you be able to sign the CLA?

[andrewisplinghoff]

Hi @andrewisplinghoff, thanks for this fix. In order to accept it, would you be able to sign the CLA?

Sure, isn't it here via the PR? I expected to get some message. If suffcient: yes, I agree with the CLA.