Merge pull request #2995 from rabuzarus/20161206_-_frio_nav_bar_link_change
authorTobias Diekershoff <tobias.diekershoff@gmx.net>
Tue, 6 Dec 2016 13:19:00 +0000 (14:19 +0100)
committerGitHub <noreply@github.com>
Tue, 6 Dec 2016 13:19:00 +0000 (14:19 +0100)
frio: change some link behavior of user menu in the nav bar


Trivial merge