Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
chore(bors): merge pull request #732
732: fix(pstor): when lease is lost exit instead of panic r=tiagolobocastro a=tiagolobocastro Avoids generating coredumps, as it won't add anything useful here. Co-authored-by: Tiago Castro <[email protected]>
- Loading branch information