Merge branch 'Plasma/5.13'

Authored by jgrulich on Jun 26 2018, 9:54 AM.

Description

Merge branch 'Plasma/5.13'

Merged Changes

CommitAuthorDetailsCommitted
eac0062220bbjgrulich
Stop streaming when session is closed and allow some stream negotiation 
Jun 26 2018
bd3f2d7865ddjriddell
Update version number for 5.13.1 GIT_SILENT 
Jun 19 2018
87984286dae0bshah
Update version number for 5.13.0 GIT_SILENT 
Jun 7 2018