Subject: bug#14829: (no subject)

From: martin rudalics <[email-masked]>
Date: Tue, 23 Jul 2013 09:10:25 +0200

> I can live with that "problem".

So what do we prefer?  Handle this option in `split-window-sensibly' or
in `split-window-below'?

martin