log.py: Remove unused `Timer.mark()` method

Merge request reports

Loading