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

[Paul W. Rankin]

On 2020-09-04 23:09, Lars Ingebrigtsen wrote:
> Paul Rankin <hello@paulwrankin.com> writes:
> > Turns out there is a better solution, so the patch can be removed
> > before stable 25.1 release if you prefer :)
>
> Skimming this thread, Martin's patch was applied (which seemed to fix
> the issue?), but then Paul said there's a better solution?  (But not
> what it was.)
>
> So I'm not sure whether there's more to do here, or whether the bug
> report should be closed.  Anybody?

I was mistaken. The min-margins parameter is still required. Sorry for 
the confusion.