Re: master 38d8db1 2/2: ; * etc/NEWS: Small cleanup.

[Stefan Kangas]

Michael Albinus <address@hidden> writes:
> address@hidden (Lars Ingebrigtsen) writes:
> >  ** Bookmarks
> >
> > -+++
> > -*** 'bookmark-file' is now an obsolete alias of
> > -'bookmark-default-file'.
> > -
> > -** Bookmarks
> > -
> >  ---
> > -*** 'bookmark-old-default-file' is now an obsolete alias of
> > -'bookmark-default-file'.
> > +*** 'bookmark-file' and 'bookmark-old-default-file' are now obsolete
> > +aliases of 'bookmark-default-file'.
>
> I haven't checked in detail, but the first entry was marked "+++", and
> the second "---". Is it correct to merge both entries and mark them "---"?

Yes, the first "+++" was a mistake.  None of these are mentioned in
the documentation.

Thanks,
Stefan Kangas