Skip to content

timestamps_filter: fixes on header file

Mostly a warning fix, and then harmless issues that were masked by where the file was used.

Merge request reports