Subject: Re: bug#24193: 25.1; `window-min-size' fails for horizontal width when margins >= body text

From: martin rudalics <[email-masked]>
Date: Fri, 02 Sep 2016 08:29:00 +0200

> Turns out there is a better solution, so the patch can be removed
 > before stable 25.1 release if you prefer :)

Thanks for the information.  But that ship has sailed now.

martin