Skip to content
This repository has been archived by the owner on Jan 18, 2021. It is now read-only.

minor cleanup #568

Merged
merged 3 commits into from Nov 15, 2017

introduce closeQuietly and make use of it

d211998
Select commit
Failed to load commit list.
Merged

minor cleanup #568

introduce closeQuietly and make use of it
d211998
Select commit
Failed to load commit list.

Workflow runs completed with no jobs