Allow shutdown of executors, to clean up resources.#62

Open

lapo-luchini wants to merge 7 commits intojhalterman:masterfrom andxor:master

+64

Commits on Feb 28, 2022

Commits on Mar 2, 2022

JavaDoc. Minimize diff.
lapo-luchini
committed