Skip to content

Fix buggy behavior when changing the title of a bookmark manually#254

Merged
david-tejada merged 1 commit intomainfrom fix-bookmark-renameDec 6, 2023