[commits] [doc] master: Merge branch 'backup-redmine/2020-11-07' into master (3845c7d)