Skip to content

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

Merge request reports