And now revised with NEWS.

On Fri, Feb 7, 2025 at 7:58 PM Ship Mints <shipmints@gmail.com> wrote:

> Revised patch with bookmark-history dupe test.
>
> On Fri, Feb 7, 2025 at 7:53 PM Ship Mints <shipmints@gmail.com> wrote:
>
>> Maybe I'll fix the bookmark test that currently doesn't check for
>> duplicates. Hrumph.
>>
>> On Fri, Feb 7, 2025 at 7:51 PM Ship Mints <shipmints@gmail.com> wrote:
>>
>>> Change 'bookmark-maybe-historicize-string' from its naive history list
>>> cons, which blindly adds duplicates ad infinitum, to use 'add-to-history'
>>> which respects 'history-delete-duplicates' and the 'history-length
>>> property (which 'bookmark-history' currently does not have).
>>>
>>> -Stephane
>>>
>>