board3/Board3-Portal — pull request #380 by marc1706 (2014-09-24 17:51:40+00:00)
Title: [ticket/378] Hide portal link if it's disabled

Fixes #378