HomePhabricator

Don't show navigation links (import, tools) where the user has no rights to…

This commit has been deleted in the repository: it is no longer reachable from any branch, tag, or ref.

Description

Don't show navigation links (import, tools) where the user has no rights to view them. Fixes bug 19714.