Subject: Re: bug#14724: 24.3.50; `isearch-open-necessary-overlays' handling of overlay property 'isearch-open-invisible'

From: Stefan Monnier <[email-masked]>
Date: Wed, 26 Jun 2013 23:00:18 -0400

tags 14724 notabug
thanks

> An error is raised; that's all - Isearch is not broken by it.  Yes,

Then there's no point adding a with-demoted-error.

        Stefan