board3/Board3-Portal — pull request #352 by marc1706 (2014-08-24 11:52:47+00:00)
Title: [ticket/342] Add version check for portal to extension manager

Fixes #342