board3/Board3-Portal — pull request #384 by marc1706 (2014-11-02 14:37:59+00:00)
Title: [ticket/243] Improve portal responsiveness

Fixes #243