RFC: fix PR 14386

[Pedro Alves]

On 08/01/2012 08:29 PM, Tom Tromey wrote:
>>>>>> "Tom" == Tom Tromey <tromey@redhat.com> writes:
> 
> Tom> I think this is arguably a bug in Python, so I filed:
> Tom>     http://bugs.python.org/issue15529
> 
> Well, I was totally and embarrassingly wrong about that, but the rest of
> the message still seems ok.

:-)

In light of that, the patch looks obvious even to me.

-- 
Pedro Alves