Rename "Bookmarks" widget to "Favorites". #392

Closed
Vdragon opened this Issue Dec 13, 2014 · 0 comments

Comments

Projects
None yet
1 participant
@Vdragon
Contributor

Vdragon commented Dec 13, 2014

This is a not-yet-implemented proposal in issue #289 .

@davvid davvid closed this in 0ce4d29 Dec 29, 2014

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment