Re: [Python-ideas] PEP for enum library type?