Skip to content

feat: Support toggle favorite problem #405

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Merged
merged 2 commits into from
Sep 3, 2019
Merged

feat: Support toggle favorite problem #405

merged 2 commits into from
Sep 3, 2019

Conversation

jdneo
Copy link
Member

@jdneo jdneo commented Sep 1, 2019

@Vigilans This PR is basically based on your contribution before. Please feel free to take a look when you have time.

Resolve #378

@jdneo jdneo added this to the 0.15.3 milestone Sep 1, 2019
@jdneo jdneo requested a review from Vigilans September 1, 2019 11:29
@jdneo jdneo merged commit 71d9ec9 into master Sep 3, 2019
@jdneo jdneo deleted the cs/issue-378 branch September 3, 2019 04:59
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Can i add a new problem to Favorite?
2 participants