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

From: martin rudalics <[email-masked]>
Date: Thu, 19 May 2022 09:18:21 +0200

> Thanks, this works fine, after removing nil above.

Thanks for catching it.

So what shall I do?  Check it in?

martin