Re: Fix python-value.exp for stubs

Tom Tromey
2008-10-24T18:44:37Z

>>>>> "Pedro" == Pedro Alves <pedro@codesourcery.com> writes:

Pedro> Tromey, Bauermann, OK to apply this?

It looks good to me.
Thanks.

Tom