[commits] [doc] master: Merge branch 'backup-redmine/2017-12-14' (47f37bed)