[commits] [doc] master: Merge branch 'backup-redmine/2020-06-06' (d62f12e)