Subject: Re: bug#25529: diagnosis and one approach to a fix

From: Tom Tromey <[email-masked]>
Date: Sat, 11 Feb 2017 10:13:31 -0700

Stefan> Ah, I had misunderstood the code.  Then yes.

Thanks.  I'll wait a little while in case Dmitry has comments, then I'll
check it in.

Tom