Merge branch 'Plasma/5.16'

Authored by jgrulich on May 23 2019, 9:44 AM.

Description

Merge branch 'Plasma/5.16'

Details

Merged Changes

CommitAuthorDetailsCommitted
4d1df4e2d0c1jgrulich
Allow some portals to run only on Plasma sessions 
May 23 2019