improve sequence counters #141

Merged
muellerr merged 1 commits from improve-seq-counters into main 2025-09-09 11:53:32 +02:00