[Merged by Bors] - drop support for old sync and other legacy code#5021
Closed
countvonzero wants to merge 7 commits intodevelopfrom drop-support-for-old-code
+94-1,424
Commits
Commits on Sep 16, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- authored
