Speed up NextLabel and PrevLabel#1039
Merged
miekg merged 7 commits intomiekg:master from jpicht:label-speedupDec 4, 2019
+133-28
Commits
Commits on Nov 26, 2019
Commits on Nov 27, 2019
- committedJulian Picht
- committedJulian Picht
Commits on Nov 30, 2019
- committed
- committed