Re: [Python-Dev] Incorrect behavior in str.format() method when padding with '\x00'