Subject: Re: bug#55169: Can't combine window-min-height with window-height

From: Juri Linkov <[email-masked]>
Date: Thu, 19 May 2022 19:27:01 +0300

>> Thanks, this works fine, after removing nil above.
>
> Thanks for catching it.
>
> So what shall I do?  Check it in?

It looks safe to check in since it's a backward-compatible change.