Subject: Re: bug#20887: 'make bootstrap' now verrrry slow due to recent isearch changes

From: Artur Malabarba <[email-masked]>
Date: Wed, 24 Jun 2015 18:18:51 +0100

> Btw, did you try replacing a simple iteration through all the
> characters with map-char-table?

Hadn't thought of that. Indeed, the second loop can be replaced by a
map-char-table, and it speeds things up by about 30%.