Merge branch '1908'

Authored by yurchor on Aug 12 2019, 10:50 AM.

Description

Merge branch '1908'

Merged Changes

CommitAuthorDetailsCommitted
7eceb7e5949eyurchor
Use the translated transition names in the 'Properties' header 
Aug 12 2019
14ae388f1816l10n daemon script
GIT_SILENT made messages (after extraction) 
Aug 12 2019