Closed graingert closed 2 years ago
@graingert ping?
@glyph sorry I don't have time to fix this anymore :(
I think this isn't quite correct either, since there's a "stopping" state that isn't quite reflected here. There's definitely still a bug so I'm leaving the issue open but someone else will need to tackle this at some point.
fixed #36