[commits] [doc] master: Merge branch 'backup-redmine/2017-07-17' (8f519993)