Merge remote-tracking branch 'kde/release/19.12'

Authored by vkrause on Jan 5 2020, 11:47 AM.

Description

Merge remote-tracking branch 'kde/release/19.12'

Merged Changes

CommitAuthorDetailsCommitted
f101c17f8110vkrause
NH extractor: Be more robust against mangled HTML during forwarding 
Jan 5 2020
043e1edf4b68mlaurent
GIT_SILENT: Prepare 5.13.1 
Dec 29 2019
f0ae582570c5mlaurent
GIT_SILENT: Prepare 5.13.1 
Dec 17 2019