Subject: Re: bug#75935: tab-bar-select-tab buffer-list and buried-buffer-list bug

From: Juri Linkov <[email-masked]>
Date: Thu, 30 Jan 2025 20:35:27 +0200

close 75935 31.0.50
thanks

> No problem. Patch attached.

Thanks for the fix, this is pushed as well.