Subject: Re: bug#12346: 24.2.50; doc of `set-temporary-overlay-map'
From: Glenn Morris <[email-masked]>
To: [email-masked]
Date: Tue, 11 Sep 2012 13:32:12 -0400
List-Id: <debbugs-submit.debbugs.gnu.org>

Bastien wrote:

> I'm not closing this bug as I didn't update the manual, 

There's no need to keep this open, since it is in NEWS without +++/---
markup, like many other things, so the manual issue will be dealt with
before next release.

(BTW, this was previously reported with an actual patch:
http://debbugs.gnu.org/11818 )