Better history de-duplication #20
Description
Right now history traversal only skips duplicate elements if they're logically next to each other. It might be worth revisiting this.
{{ message }}
Right now history traversal only skips duplicate elements if they're logically next to each other. It might be worth revisiting this.