Subject: bug#75918: [PATCH] Add new user option tab-bar-define-keys

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

close 75918 31.0.50
thanks

> This one should adequately address that backward compatibility issue.
> Thanks for pointing it out.

Thanks for the changes, now pushed and closed.