Subject: Re: bug#76084: 31.0.50; Dragging tab line does not resize windows, unlike header line or mode line

From: Juri Linkov <[email-masked]>
Date: Tue, 15 Apr 2025 21:53:37 +0300

close 76084 31.0.50
thanks

>>> Thanks, I tried out your patch, and everything works nicely.
>>> Looks like it's ready to be installed if Martin agrees?
>> I think it's ready.
>
> Looks like installing the patch was forgotten.
>
> The patch was attached to an earlier message in this thread. See
> https://debbugs.gnu.org/cgi/bugreport.cgi?bug=76084#23.

Sorry for the delay, now your patch is installed, thanks.