[Merged by Bors] - More sync edge cases + prettify range#1834
Closed
divagant-martian wants to merge 6 commits intosigp:masterfrom divagant-martian:bad-batch-state
+272-230
Commits
Commits on Oct 27, 2020
Commits on Oct 28, 2020
- committed
- committed
- committed