Re: [Python-Dev] Minor change to Enum -- should it go into 3.5.2?