Skip to content
Snippets Groups Projects
Unverified Commit 56513966 authored by chris48s's avatar chris48s Committed by GitHub
Browse files

only try to close pool if one exists (#8947) 


Co-authored-by: default avatarrepo-ranger[bot] <39074581+repo-ranger[bot]@users.noreply.github.com>
parent 54973142
No related merge requests found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment