Merge branch 'Applications/19.08'

Authored by arojas on Aug 25 2019, 3:09 PM.

Description

Merge branch 'Applications/19.08'

Merged Changes

CommitAuthorDetailsCommitted
32fbf815dc0carojas
Include KDE* cmake macros before any others 
Aug 25 2019
798c9313e43edvratil/mlaurent
Fix memory leak in PluginEditorGrammar 
Aug 22 2019
937fa47e40ffmlaurent
GIT_SILENT: Prepare 5.12.1 
Aug 16 2019