fix some subtle bugs with error handling and cleanup#243
Merged
quinnj merged 1 commit intoJuliaLang:masterfrom Jul 18, 2022
Merged
fix some subtle bugs with error handling and cleanup#243quinnj merged 1 commit intoJuliaLang:masterfrom
quinnj merged 1 commit intoJuliaLang:masterfrom