Merge branch 'Plasma/5.14'

Authored by ngraham on Nov 27 2018, 3:02 AM.

Description

Merge branch 'Plasma/5.14'

Details

Merged Changes

CommitAuthorDetailsCommitted
35ac6472c39bkfunk
Minor: Fix -Wextra-semi warning 
Nov 26 2018