Subject: Re: bug#20472: 24.4; Cannot switch buffers in a dedicated window - report this error earlier
From: martin rudalics <[email-masked]>
To: Stefan Monnier <[email-masked]>
Cc: [email-masked], Ed Avis <[email-masked]>
Date: Wed, 20 May 2015 11:47:51 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

> Then let's make it customizable right away.

Installed with commit f743819..31d58d4 on trunk/master.  Bug closed.

Thanks, martin