Clean up globals defined in Python source, make sure their __del__ is called#988
Draft
jameslan wants to merge 1 commit into
Draft
Clean up globals defined in Python source, make sure their __del__ is called#988jameslan wants to merge 1 commit into
jameslan wants to merge 1 commit into
