Add additional FINER log information to SegmentCountMetric#13

Merged

tillschallau merged 3 commits intomainfrom 9-segment-count-metric-should-include-more-detailed-information-in-finertxt-file

Nov 15, 2023

+1

Commits on Nov 14, 2023

Commits on Nov 15, 2023

Merge branch 'main' into 9-segment-count-metric-should-include-more-detailed-information-in-finertxt-file
tillschallau
authored