This repository was archived by the owner on Nov 15, 2023. It is now read-only.

don't wait for all futures to resolve before shutdown#536

Merged

gavofyork merged 1 commit intomasterfrom

Aug 10, 2018

Provide feedback