Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
we only remove and readd a favorite entry to a user favorite list in
case it is initially added or removed. This should fix the problem that upon editing a favorite it will always be added to the very end of the user favorite list. This refs #706.
- Loading branch information