Closed cristaloleg closed 2 days ago
PR #186 introduced a bug which resulted in an incorrect height reported by heightSub. heightSub.Height should be updated only when all height below the current one were observed.
heightSub
heightSub.Height
Fixes #201 (+ test from #197)
See #207
Overview
PR #186 introduced a bug which resulted in an incorrect height reported by
heightSub
.heightSub.Height
should be updated only when all height below the current one were observed.Fixes #201 (+ test from #197)