Closed rgm closed 9 years ago
Might be more of a question than a PR, but shouldn't this lock release after rerun?
:+1:
I believe I ran into this issue myself yesterday.
Yes, thanks @rgm - good catch.
Might be more of a question than a PR, but shouldn't this lock release after rerun?