[PATCH] Bug 12705: Extremely poor performance when printing large arrays

[Tom Tromey]

>>>>> "Tom" == Tom Tromey <tromey@redhat.com> writes:

Tom> I am running this through our tester, and if it works ok I am going to
Tom> check it in.  It looks safe enough for 7.3 as well.

I am checking it in now.

Tom