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 /.github/workflows | |
| 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 '.github/workflows')
0 files changed, 0 insertions, 0 deletions