Skip to content

Fix shutdown of periodic_updater#4711

Merged
jochenehret merged 2 commits intomainfrom
fix_periodic_updater_shutdown
Dec 19, 2025
Merged

Fix shutdown of periodic_updater#4711
jochenehret merged 2 commits intomainfrom
fix_periodic_updater_shutdown

Commits

Commits on Dec 17, 2025

Commits on Dec 19, 2025