refactor: Rename `HeaderSyncManagerWithReorg` -> `HeaderSyncManager` - #221

Merged

xdustinface merged 1 commit into

refactor/rename-header-sync-manager

Dec 2, 2025

Commits on Dec 1, 2025

refactor: Rename `HeaderSyncManagerWithReorg` -> `HeaderSyncManager`
xdustinface
committed
4534d4b