This repository was archived by the owner on Jul 22, 2024. It is now read-only.
Restore bookmark button state after bookmark notification shown. Fixes #1837#1919
Closed
bluemarvin wants to merge 1 commit intomasterfrom bookmark-button
+8-1
