diff options
author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-02-10 21:33:16 +0200 |
---|---|---|
committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-02-10 21:33:16 +0200 |
commit | d2d8c8138f492a47503d6932ea053bf3dab4a3a7 (patch) | |
tree | 9d5f5f832a0fb19a97b32facf1ffb42bc9df7f14 /res/about/version.gmi | |
parent | 15cd12300dccf958ebbd2da2c06005d2264fa890 (diff) |
Bookmarks: Fixed crash when removing a bookmark source
Remote bookmarks from a deleted source page were not immediately
removed, so the UI got confused about the missing source bookmark.
IssueID #154
Diffstat (limited to 'res/about/version.gmi')
0 files changed, 0 insertions, 0 deletions