Remove unneeded check in Vala Symbol pane#1514

danirabbit merged 2 commits intomasterelementary/code:masterfrom

jeremypw/vala-symbol-pane/remove-unneeded-checkelementary/code:jeremypw/vala-symbol-pane/remove-unneeded-checkCopy head branch name to clipboard