Re: [Python-ideas] Enhanced context managers with ContextManagerExit and None