Subject: Re: bug#1259: quit-window does not kill the window

From: martin rudalics <[email-masked]>
Date: Sat, 15 Nov 2008 11:00:10 +0100

> It works as expected now for quit-window and my-quit-window.

I checked in a simpler version.  Could you try once more?

martin