ooici/coi-services — pull request #1081 by newbrough (2013-05-15 22:13:39+00:00)
Title: add portal to platformdeviceextension

added portal field to PlatformDeviceExtension per JIRA OOIION-891

merge only after merging ion-defs: https://github.com/ooici/ion-definitions/pull/367