sequence counter improvements #140

Merged
muellerr merged 1 commits from seq-counter-improvements into main 2025-09-09 10:27:08 +02:00