Diffusion Milou 5698f9d7934b

Merge branch 'Plasma/5.16'

Authored by fvogt on Jun 18 2019, 4:57 PM.

Description

Merge branch 'Plasma/5.16'

Details

Merged Changes

CommitAuthorDetailsCommitted
07a48b30adfdfvogt
Merge branch 'Plasma/5.12' into Plasma/5.16 
Jun 18 2019
c918c2840bcbD21605fvogt
Don't give up if no results arrive after 500ms 
Jun 18 2019
8fc387ce2beajriddell
Update version number for 5.16.1 GIT_SILENT 
Jun 18 2019