Subject: Re: bug#8862: compilation-window-height no good anymore

From: Nix <[email-masked]>
Date: Tue, 14 Jun 2011 19:32:01 +0100

On 14 Jun 2011, martin rudalics spake thusly:
> In the current version, windows are no longer deleted automatically.

Isn't this a very large backward-compatibility and user-expectations
break?

-- 
NULL && (void)