Subject: bug#41029: Improve ido-switch-buffer performance when many buffers are open

From: Dmitry Gutov <[email-masked]>
Date: Sun, 3 May 2020 05:03:11 +0300

On 02.05.2020 21:26, Arnold Noronha wrote:
> Actually, I realized this could be cleaner. Nicer patch attached.

Looks fine to me, thanks. Unless someone expresses any objections in a 
week or so, we should install it.