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

From: Glenn Morris <[email-masked]>
Date: Fri, 15 Jul 2011 18:47:28 -0400

Looks like the reported issue was resolved in this message:
http://debbugs.gnu.org/cgi/bugreport.cgi?bug=8862#41