Subject: Re: 25.0.50; void-variable not-this-window

From: martin rudalics <[email-masked]>
Date: Tue, 22 Dec 2015 17:53:11 +0100

> Closing this bug as the 22221 bug was the same as this one and that got
> fixed.

Sorry, I missed your proposal.  Will be more careful next time.

Thanks, martin