Avoid duplicating vundo--timestamps

casouri / vundo

Visualize the undo tree.

413 stars 20 forks source link

Closed jdtsmith closed 4 months ago

jdtsmith commented 4 months ago

vundo.el (vundo--record-timestamps): The sorted value of the produced timestamp alist is significant, so it should not contain duplicates.

casouri commented 4 months ago

Merged, thanks for the fix :-)