bug#25553: tabs still dont work 8 years after last ticket activity?

[Paul Eggert]

On 2025-07-23 08:25, Kent Dorfman wrote:

feel free to call this tabs issue closed/shelved.

Thanks, closing.