Subject: bug#8838: tty-run-terminal-initialization fails

From: Glenn Morris <[email-masked]>
Date: Tue, 14 Jun 2011 13:54:53 -0400

Glenn Morris wrote:

> which seems like a waste of a progn to me. (Maybe the compiler optimizes
> it away though, I don't actually know.)

Comments in byte-opt indicate that it does. So the compiled coded ought
to neither know nor care if the source used when or if.