Merge branch 'Plasma/5.7'

Authored by hein on Jul 7 2016, 8:11 PM.

Description

Merge branch 'Plasma/5.7'

Merged Changes

CommitAuthorDetailsCommitted
e2b07027de7chein
Avoid side-channeling through shared static source models. 
Jul 7 2016