[Disco] Expose disco.Session.shutdown through the python API#16979

masahi merged 1 commit intoapache:mainapache/tvm:mainfrom

Lunderberg:disco_shutdown_sessionLunderberg/tvm:disco_shutdown_sessionCopy head branch name to clipboard