This adds a quick link to starred projects in the user menu.
:thumbsup:
Going to merge this one manually to save you the rebase :)
Commit 221ae73b fixes this pull-request
Pull-Request has been merged by pingou
This adds a quick link to starred projects in the user menu.