[debbugs-tracker] bug#12346: closed (24.2.50; doc of `set-temporary-overlay-map')

[GNU bug Tracking System]

Your message dated Tue, 11 Sep 2012 13:32:12 -0400
with message-id <address@hidden>
and subject line Re: bug#12346: 24.2.50; doc of `set-temporary-overlay-map'
has caused the debbugs.gnu.org bug report #12346,
regarding 24.2.50; doc of `set-temporary-overlay-map'
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
12346: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=12346
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> 24.2.50; doc of `set-temporary-overlay-map'
>
>
>
>
> Date: 
>
> Mon, 3 Sep 2012 19:56:08 -0700
>
>
>
>
> Standard source code is being converted to use this function.  And
> 3rd-party code is starting to use it.  It has no doc string and is not
> mentioned in the Elisp manual.  Please document it.
>  
>
> In GNU Emacs 24.2.50.1 (i386-mingw-nt5.1.2600)
>  of 2012-09-02 on MARVIN
> Bzr revision: 109861 address@hidden
> Windowing system distributor `Microsoft Corp.', version 5.1.2600
> Configured using:
>  `configure --with-gcc (4.6) --no-opt --enable-checking --cflags
>  -ID:/devel/emacs/libs/libXpm-3.5.8/include
>  -ID:/devel/emacs/libs/libXpm-3.5.8/src
>  -ID:/devel/emacs/libs/libpng-dev_1.4.3-1/include
>  -ID:/devel/emacs/libs/zlib-dev_1.2.5-2/include
>  -ID:/devel/emacs/libs/giflib-4.1.4-1/include
>  -ID:/devel/emacs/libs/jpeg-6b-4/include
>  -ID:/devel/emacs/libs/tiff-3.8.2-1/include
>  -ID:/devel/emacs/libs/gnutls-3.0.9/include
>  -ID:/devel/emacs/libs/libiconv-1.13.1-1-dev/include
>  -ID:/devel/emacs/libs/libxml2-2.7.8/include/libxml2'
>  
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#12346: 24.2.50; doc of `set-temporary-overlay-map'
>
>
>
>
> Date: 
>
> Tue, 11 Sep 2012 13:32:12 -0400
>
>
>
>
> User-agent: 
>
> Gnus (www.gnus.org), GNU Emacs (www.gnu.org/software/emacs/)
>
>
>
>
> 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 )
>
>
> --- End Message ---