board3/Board3-Portal — pull request #417 by marc1706 (2014-11-09 18:45:13+00:00)
Title: [ticket/416] Allow multiple inclusions of portal modules

Fixes #416