[commits] [doc] master: Merge branch 'backup-redmine/2019-12-07' (3ad5f05)