Skip to content

--timestamp command-line option is ignored #315

@vkarak

Description

@vkarak

This was broken when the new-style checks and the runtime refactoring PR (#264) has been merged.

Metadata

Metadata

Assignees

Labels

Type

No type

Projects

No projects

Relationships

None yet

Development

No branches or pull requests

Issue actions