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

Authored by dfaure on Jan 15 2020, 8:21 AM.

Description

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

Merged Changes

CommitAuthorDetailsCommitted
655f28d868a7dfaure
Fix support for compose key in foldertreewidget 
Jan 15 2020
081d57ce53d0D26682dfaure
Fix support for dead keys in foldertreewidget filtering 
Jan 15 2020
2f6700756982mlaurent
GIT_SILENT: Prepare 5.13.2 
Jan 15 2020